5 Commits

Author	SHA1	Message	Date
Alexander Bantyev	1c1dac1896	UnionFind	2020-03-26 20:44:49 +03:00
Alexander Bantyev	4d585096ba	Don't pin menhir	2020-03-26 20:11:55 +03:00
Alexander Bantyev	f6044d6c71	Cleanup	2020-03-26 13:17:38 +03:00
Alexander Bantyev	dbf9ccc169	Almost builds	2020-03-26 13:17:37 +03:00
Alexander Bantyev	2796c9510e	opam2nix prototype	2020-03-26 13:17:35 +03:00