1
1
mirror of https://github.com/anoma/juvix.git synced 2024-12-15 10:03:22 +03:00
juvix/tests/positive/Termination/Data
2022-03-07 17:16:45 +01:00
..
Bool.mjuvix add some test files aimed at termination checking 2022-02-24 00:36:22 +01:00
List.mjuvix [ tests ] fixed definitions for flat and aux 2022-03-07 17:16:45 +01:00
Maybe.mjuvix add some test files aimed at termination checking 2022-02-24 00:36:22 +01:00
Nat.mjuvix add some test files aimed at termination checking 2022-02-24 00:36:22 +01:00
Ord.mjuvix add some test files aimed at termination checking 2022-02-24 00:36:22 +01:00
Product.mjuvix add some test files aimed at termination checking 2022-02-24 00:36:22 +01:00
Tree.mjuvix [termination] implement callgraph using sets 2022-03-05 13:32:47 +01:00