felipegchi d4d8684f8c fix: parsing of comments		2022-12-05 10:55:50 -03:00
..
kind-checker	fix: problem with u60 term in rule side and added Nat syntax sugar	2022-12-05 09:27:09 -03:00
kind-cli	fix: fixed problems with match deriver reaching a unreachable place and erasure not erasing lambdas/apps	2022-12-02 11:16:01 -03:00
kind-derive	fix: fixed problems with match deriver reaching a unreachable place and erasure not erasing lambdas/apps	2022-12-02 11:16:01 -03:00
kind-driver	fix: updated hvm to fix the problem	2022-12-01 18:16:33 -03:00
kind-parser	fix: parsing of comments	2022-12-05 10:55:50 -03:00
kind-pass	fix: problem with u60 term in rule side and added Nat syntax sugar	2022-12-05 09:27:09 -03:00
kind-query	fix: change guide URLs	2022-11-29 13:57:46 -03:00
kind-report	style: added a lot of tests, benchmarks and fixed code style	2022-11-30 11:19:14 -03:00
kind-span	refactor: a lot of refactoring and implementation of flattening	2022-11-25 14:41:07 -03:00
kind-target-hvm	fix: updated hvm to fix the problem	2022-12-01 18:16:33 -03:00
kind-target-kdl	Merge remote-tracking branch 'origin/experimental' into experimental	2022-11-30 17:56:11 +01:00
kind-tests	fix: problem with u60 term in rule side and added Nat syntax sugar	2022-12-05 09:27:09 -03:00
kind-tree	fix: problem with u60 term in rule side and added Nat syntax sugar	2022-12-05 09:27:09 -03:00