anoma/juvix
1
1
Fork 0
mirror of https://github.com/anoma/juvix.git synced 2024-12-13 19:49:20 +03:00
Code Issues Projects Releases Wiki Activity
5f9887e69c
juvix/test
History
Jan Mas Rovira 5f9887e69c define ParserResult and refactor
2022-04-05 16:12:13 +02:00
..
Scope define ParserResult and refactor 2022-04-05 16:12:13 +02:00
TypeCheck [test] Add test for multiple type errors 2022-04-04 14:59:56 +01:00
Base.hs define ParserResult and refactor 2022-04-05 16:12:13 +02:00
Main.hs [test] Adds negative typecheck test for constructor 2022-03-31 09:28:20 +01:00
Scope.hs [tests] setup step-wise positive tests 2022-02-18 13:01:42 +01:00
TypeCheck.hs [test] Adds negative typecheck test for constructor 2022-03-31 09:28:20 +01:00