This website requires JavaScript.
Explore
Help
Register
Sign In
balsoft
/
ligo
Watch
1
Star
0
Fork
0
You've already forked ligo
Code
Issues
Pull Requests
Releases
Wiki
Activity
ligo
/
src
/
main
History
Lesenechal Remi
b60ce38b68
commenting back
2019-10-17 17:33:43 +02:00
..
compile
Generate field annotations for sum/record
2019-09-26 11:39:35 -05:00
run
commenting back
2019-10-17 17:33:43 +02:00
display.ml
Interface for Ocaml code
2019-10-07 14:18:32 +00:00
display.mli
Interface for Ocaml code
2019-10-07 14:18:32 +00:00
dune
more stuff
2019-09-11 13:56:39 +02:00
main.ml
further down the road
2019-09-18 18:49:33 +02:00