4 Commits

Author	SHA1	Message	Date
Remco Bloemen	3e7ff80611	Add benchmark	2022-02-28 19:44:30 -08:00
Remco Bloemen	2f06385c5c	Add formating rules	2022-02-01 11:40:49 -08:00
psippl	2fa89d6580	prove with real params and small refactors	2022-01-31 19:05:29 +01:00
psippl	089f126e4f	init	2022-01-28 01:43:38 +01:00