Commit Graph

7 Commits

Author SHA1 Message Date
1dabc4442d
Make variable resolution more uniform 2020-03-26 20:24:04 +03:00
4d585096ba
Don't pin menhir 2020-03-26 20:11:55 +03:00
4db1af47c3
Add comments 2020-03-26 13:38:56 +03:00
dc671b5151
More cleanup 2020-03-26 13:20:04 +03:00
f6044d6c71
Cleanup 2020-03-26 13:17:38 +03:00
dbf9ccc169
Almost builds 2020-03-26 13:17:37 +03:00
2796c9510e
opam2nix prototype 2020-03-26 13:17:35 +03:00