felipegchi 90c920d4e4 tests: fix tests		2022-12-15 15:19:02 -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	bump: bumped patch version	2022-12-05 10:57:12 -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: bug with ampersand operator	2022-12-13 09:06:18 -03:00
kind-pass	fix: fixed bug with no coverage showing twice	2022-12-15 14:39:49 -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	tests: fix tests	2022-12-15 15:19:02 -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