anoma/juvix
1
1
Fork 0
mirror of https://github.com/anoma/juvix.git synced 2024-12-04 17:07:28 +03:00
Code Issues Projects Releases Wiki Activity
929a8658ac
juvix/test/Typecheck
History
janmasrovira 929a8658ac
Special syntax for case (#1800) 
- Closes #1716

---------

Co-authored-by: Paul Cadman <git@paulcadman.dev>
2023-02-06 14:53:35 +01:00
..
Negative.hs Fix inference loop (#1726) 2023-01-17 13:28:38 +01:00
Positive.hs Special syntax for case (#1800) 2023-02-06 14:53:35 +01:00