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
0297b6033b
ligo
/
src
/
stages
History
Suzanne Dupéron
0297b6033b
New typer: constants: use a tuple of arguments, + typechecking rules for constants
2020-02-03 20:20:00 +00:00
..
adt_generator
tests for automatic fold generator + fold_config hook to update the state before a node has been transformed, without transforming it.
2020-01-09 18:16:02 +00:00
ast_simplified
Cleanup
2020-01-29 17:37:10 +00:00
ast_typed
Cleanup
2020-01-29 17:37:10 +00:00
common
Improved temporary internal error message
2020-01-30 18:50:19 +00:00
mini_c
Modify record update, using path for update
2020-01-28 14:12:46 +00:00
typesystem
New typer: constants: use a tuple of arguments, + typechecking rules for constants
2020-02-03 20:20:00 +00:00