anoma/juvix
1
1
Fork 0
mirror of https://github.com/anoma/juvix.git synced 2024-12-13 11:16:48 +03:00
Code Issues Projects Releases Wiki Activity
0943a4ab92
juvix/test/Termination
History
Jan Mas Rovira 0943a4ab92
Dependent default values (#2446) 
- Closes #2445
2023-10-27 10:19:07 +02:00
..
Negative.hs Dependent default values (#2446) 2023-10-27 10:19:07 +02:00
Positive.hs Ignore instance arguments in the termination checker (#2435) 2023-10-06 12:09:15 +02:00