8 commits

Author	SHA1	Message	Date
Simon Cruanes	4e112e1591	add some property tests	2023-06-15 21:34:33 -04:00
Simon Cruanes	7707a7c1ce	prepare for 0.2	2023-06-15 14:26:28 -04:00
Simon Cruanes	5c462dd688	add trace as test dep	2023-06-12 22:07:19 -04:00
Simon Cruanes	bc949727d6	prepare for 0.1	2023-06-10 00:21:47 -04:00
Simon Cruanes	d9eee6eb50	details	2023-06-01 22:34:14 -04:00
Simon Cruanes	5dcfab7cce	require 4.08; add infix operators; add dep on Either	2023-06-01 21:34:27 -04:00
Simon Cruanes	2f0cf1970e	require ocaml >= 4.05; use mdx for the readme	2023-05-30 23:52:09 -04:00
Simon Cruanes	1619f8b773	initial commit	2023-05-30 23:03:05 -04:00