237 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Victor Maia	bfa613ea5a	Use ## for sub syntax	2022-09-03 00:28:20 -03:00
Victor Maia	f1dfa0a30d	Add sub syntax	2022-09-03 00:18:07 -03:00
Victor Maia	5d504fc14d	Rebuild	2022-09-02 19:15:29 -03:00
Victor Maia	b5ad5d4e7f	Fix Kind2 unifier forgetting let equalities	2022-09-02 17:50:58 -03:00
Victor Maia	1cca987277	Move benchmarks out, update README	2022-09-02 14:23:13 -03:00
Victor Taelin	42d9b12f3f	Merge pull request #61 from developedby/lhs-eras ... Add support for hiding arguments in the lhs or rules	2022-09-02 13:06:41 -03:00
Nicolas Abril	f8172c5f4b	Add support for hiding arguments in the lhs or rules	2022-08-31 18:38:46 -03:00
Victor Maia	71d35d76cb	Unbound var check fixes	2022-08-30 22:20:52 -03:00
Victor Maia	0db022773c	Fix ann checker	2022-08-30 20:56:11 -03:00
Victor Maia	751c74f658	Rebuild	2022-08-25 13:31:03 -03:00
Victor Maia	863cc496cc	Inc version and rebuild	2022-08-25 13:28:04 -03:00
Victor Maia	509b409fde	Merge branch 'bootstrap'	2022-08-25 13:22:34 -03:00
Victor Taelin	fe9128ffb7	Merge pull request #50 from felipegchi/typechecker ... Changed to the new checker	2022-08-25 13:21:07 -03:00
Felipe g	f94de71a41	Merge	2022-08-25 13:03:24 -03:00
Felipe g	4493a3f319	Regenerate checker	2022-08-25 12:55:14 -03:00
Felipe g	e185c8c736	Fix HOAS	2022-08-25 12:51:45 -03:00
Victor Maia	19fc3cbcbd	Prevent checker from fully evaluating top-level types	2022-08-24 16:07:46 -03:00
Victor Taelin	aabc22c9ad	Merge pull request #55 from felipegchi/hole-fix ... Fix hole equality problem	2022-08-24 14:53:01 -03:00
Felipe g	4083926d80	Fix hole problem	2022-08-24 14:46:04 -03:00
Victor Taelin	d6a6c5753f	Merge pull request #54 from felipegchi/fix-equal ... Fix problem with values that was not reducing	2022-08-24 13:16:24 -03:00
Felipe g	eec440cba5	Regenerated type checker with the fix for Null values	2022-08-24 13:05:45 -03:00
Felipe g	32c075726f	Fix problem with values that was not reducing	2022-08-24 13:01:58 -03:00
Victor Taelin	f7447ced16	Merge pull request #53 from Kindelia/revert-52-hole-fix ... Revert "Fix hole equality" (temporarily)	2022-08-23 14:41:45 -03:00
Victor Taelin	dcf5b5a88f	Revert "Fix hole equality"	2022-08-23 14:41:29 -03:00
Felipe g	2e76854a1a	Regenerated checker.hvm	2022-08-23 14:38:45 -03:00
Victor Taelin	7b96b49024	Merge pull request #52 from felipegchi/hole-fix ... Fix hole equality	2022-08-23 14:12:35 -03:00
Felipe g	b7cd25df09	Fix hole equality	2022-08-23 11:57:39 -03:00
Felipe g	aef090e7c0	Removed append on the bootstrap.sh	2022-08-23 09:55:13 -03:00
Felipe g	701b0946d7	Improve bootstrap.sh	2022-08-23 09:30:46 -03:00
Felipe g	4167d3f590	Add bootstrap script and removed the need for the inject comment	2022-08-23 09:20:30 -03:00
Felipe g	a8662bb93f	Fix type checker	2022-08-22 11:39:05 -03:00
Felipe g	bc21857404	Changed to the new checker	2022-08-22 11:08:45 -03:00
Victor Maia	73e1e70785	Update HVM	2022-08-19 17:31:39 -03:00
Victor Maia	e21cd202af	Inc version	2022-08-19 13:27:30 -03:00
Victor Taelin	057d1b8170	Merge pull request #49 from felipegchi/stringify-fix ... Fix stringifier	2022-08-19 13:27:09 -03:00
Felipe g	5c07dd97e8	Fix stringifier	2022-08-19 13:20:18 -03:00
Victor Maia	02cc798cf0	Inc version	2022-08-19 13:18:29 -03:00
Victor Taelin	d7f2932603	Merge pull request #48 from felipegchi/stringify-fix ... Fix stringifier	2022-08-19 13:18:05 -03:00
Felipe g	acab6d95b8	Fix stringifier	2022-08-19 13:13:39 -03:00
Victor Maia	60cf29dfeb	Stringify string literals on Rust side	2022-08-17 21:42:45 -03:00
Victor Maia	b109ee674f	Fix expected/detected flipped	2022-08-17 21:22:58 -03:00
Victor Maia	e8cc429948	Hide hole numbers	2022-08-17 16:29:09 -03:00
Victor Maia	a7c3b0ab7b	Implement HVM.log	2022-08-17 16:24:36 -03:00
Victor Maia	dde08af0cb	Fix <= parser	2022-08-16 12:40:16 -03:00
Victor Maia	826e121674	Sigma.new syntax	2022-08-13 22:40:04 -03:00
Victor Maia	5a13856ada	Annotated lambdas	2022-08-13 22:20:15 -03:00
Victor Maia	14b16122e7	Update HVM	2022-08-13 21:40:20 -03:00
Victor Maia	04156eaa77	Udpate HVM	2022-08-13 21:32:00 -03:00
Victor Maia	d6987d1793	Inc version	2022-08-13 21:30:14 -03:00
Victor Maia	e4417d2732	Increase max HVM arity	2022-08-13 21:28:50 -03:00