586 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Victor Maia	b3860e34d0	Unification metavariables (holes)	2022-07-16 22:40:14 -03:00
Victor Maia	50fab9e81f	Show highlighted error line	2022-07-16 14:26:59 -03:00
Victor Maia	2817094f4e	Cleanups	2022-07-16 01:27:52 -03:00
Victor Maia	a966ea5a26	Avoid stuck terms by providing default cases ... This required updating the HVM to improve the flattener	2022-07-16 00:52:56 -03:00
Victor Maia	f0fc68f715	List.map example	2022-07-15 20:10:59 -03:00
Victor Maia	115499bfbd	Add example	2022-07-15 19:42:43 -03:00
Victor Maia	09a70e89f1	Add lines	2022-07-15 19:42:18 -03:00
Victor Maia	6c3fb3d388	Inline annotations	2022-07-15 19:39:27 -03:00
Victor Maia	f0bc9f7dd7	Merge branch 'master' of github.com:kindelia/kind2	2022-07-15 19:00:41 -03:00
Victor Maia	23228e3b86	Let expressions, bugfixes	2022-07-15 19:00:36 -03:00
Victor Taelin	8169302ebf	Merge pull request #27 from Kindelia/nat_exp_coq ... Add Coq benchmark	2022-07-15 15:36:43 -03:00
Samuel Durante	f928b04a0a	Add Coq benchmark	2022-07-15 15:22:06 -03:00
Victor Maia	f0a9857f29	Remove extra newline	2022-07-15 10:59:19 -03:00
Victor Maia	ca03c71899	Stable output order	2022-07-15 10:56:48 -03:00
Victor Maia	bb3f6d445c	Polishments	2022-07-15 10:08:13 -03:00
Victor Maia	cc0ba5d65f	Fix var-var checker	2022-07-15 09:48:51 -03:00
Victor Maia	61bbdec535	Cleanups	2022-07-15 01:23:18 -03:00
Victor Maia	a1961a6548	Fix ctr stringifier	2022-07-15 01:17:49 -03:00
Victor Maia	792108dd33	Merge branch 'master' of github.com:kindelia/kind2	2022-07-15 01:16:36 -03:00
Victor Maia	2af581ef02	Check generated constraints	2022-07-15 01:16:29 -03:00
Victor Taelin	a9c2a73545	Merge pull request #26 from Kindelia/feat-cli ... Add clap cli	2022-07-14 20:58:27 -03:00
Samuel Durante	3c4afcb8d3	Merge branch 'master' into feat-cli	2022-07-14 20:56:15 -03:00
Samuel Durante	ebaff0ee8a	Resolving conflicts	2022-07-14 20:52:37 -03:00
Victor Maia	d41c85b4c1	Add Lean benchmark	2022-07-14 20:23:26 -03:00
Victor Maia	40a8d38900	Add missing file	2022-07-14 19:23:34 -03:00
Victor Maia	9f1a0992eb	Improved syntax, many cleanups	2022-07-14 19:17:20 -03:00
Samuel Durante	9981cfbabc	Add clap cli	2022-07-14 14:07:04 -03:00
Victor Maia	182814b528	Add Idris2 benchmark	2022-07-14 13:06:28 -03:00
Victor Maia	1707c3dfc8	Perf bugfixes and benchmarks	2022-07-14 01:20:49 -03:00
Victor Maia	1ee09c0b2b	Add run instruction	2022-07-13 23:57:15 -03:00
Victor Maia	a161704986	Bugfixes, polishments	2022-07-13 23:56:52 -03:00
Victor Maia	b8092e84d5	Cleanup	2022-07-13 23:22:29 -03:00
Victor Maia	9a7fe526e8	Add example	2022-07-13 23:20:07 -03:00
Victor Maia	41e2518ddd	Initial working type-checker	2022-07-13 23:19:47 -03:00
Victor Maia	27afb25616	Initial working type checker	2022-07-13 00:48:58 -03:00
Victor Maia	469eb5976d	Initial commit	2022-07-12 22:47:17 -03:00