anoma/juvix
1
1
Fork 0
mirror of https://github.com/anoma/juvix.git synced 2024-12-15 10:03:22 +03:00
Code Issues Projects Releases Wiki Activity
0e3fb402d5
juvix/src/MiniJuvix
History
Paul Cadman 9fea7b1ba0 [abstract] Add InfoTableBuilder for scoped to abstract
2022-03-29 11:58:48 +01:00
..
Internal [error] WIP improving ambiguity error messages 2022-03-24 12:02:14 +00:00
Prelude [ app ] add --version flag and fixed warnings and formatting 2022-03-25 00:52:30 +01:00
Syntax [abstract] Add InfoTableBuilder for scoped to abstract 2022-03-29 11:58:48 +01:00
Termination [abstract] Make Iden use references instead of Name 2022-03-29 11:58:48 +01:00
Translation [abstract] Add InfoTableBuilder for scoped to abstract 2022-03-29 11:58:48 +01:00
Utils [ app ] add --version flag and fixed warnings and formatting 2022-03-25 00:52:30 +01:00
Prelude.hs add references to the syntax and cleanup code 2022-03-23 11:40:03 +01:00
Termination.hs add references to the syntax and cleanup code 2022-03-23 11:40:03 +01:00