anoma/juvix
1
1
Fork 0
mirror of https://github.com/anoma/juvix.git synced 2025-01-08 08:39:26 +03:00
Code Issues Projects Releases Wiki Activity
4ab201f1ac
juvix/test/Termination
History
Jan Mas Rovira 6fb7bbff2d
Move termination checker to Internal (#2209) 
- Closes #2203
2023-06-20 11:02:37 +02:00
..
Negative.hs Move termination checker to Internal (#2209) 2023-06-20 11:02:37 +02:00
Positive.hs Add juvix global project under xdg directory and other improvements (#1963) 2023-04-13 11:27:39 +02:00