112 Commits

Author	SHA1	Message	Date
Victor Maia	41fd37b7ef	Add parens	2022-08-13 21:23:05 -03:00
Victor Maia	399a1dec1e	Add space	2022-08-13 20:45:20 -03:00
Victor Maia	710036dc5d	Sigma syntax sugar	2022-08-13 20:44:01 -03:00
Victor Maia	54d3f87c03	Fix display of origin on new errors	2022-08-13 19:45:58 -03:00
Victor Maia	08b6879bf4	Fix issue with last commit	2022-08-13 19:03:37 -03:00
Victor Maia	130f25eee4	Improve hole filling by moving conversion to an Unify function	2022-08-13 18:25:31 -03:00
Victor Maia	4d8144bd9f	Fix the syntax that only Sipher could ever manage to notice that was broken	2022-08-13 14:22:36 -03:00
Victor Maia	5d3dffb5d7	More stringifier fixes	2022-08-13 14:12:15 -03:00
Victor Maia	b61a8d5eac	Stringifier fixes	2022-08-13 14:10:25 -03:00
Victor Maia	36e7ba99fc	Omit () on forall body	2022-08-13 13:55:56 -03:00
Victor Maia	6d2054b57e	Update HVM	2022-08-11 14:48:26 -03:00
Victor Maia	1da8314e38	Inc version	2022-08-11 14:34:47 -03:00
Victor Maia	4eee13ec34	Update HVM	2022-08-11 14:26:03 -03:00
Victor Maia	65fecd1d02	Eval before conversion, fixes #38	2022-08-11 13:23:15 -03:00
Victor Maia	7fbe8ab727	Fix Kind2->KDL ctr compiler	2022-08-09 15:24:27 -03:00
Victor Maia	84ff4f54e2	Add missing case on monad syntax	2022-08-09 13:57:18 -03:00
Victor Maia	e023947255	Omit most parenthesis; arrow lambda syntax (x => y)	2022-08-05 05:03:25 -03:00
Victor Maia	727e334609	Update HVM, reduction improvements	2022-07-27 19:59:40 -03:00
Victor Maia	dd66be414f	Update HVM, fixes reduction bugs	2022-07-27 18:59:09 -03:00
Victor Maia	7d8327c394	Remove accidental line	2022-07-27 18:03:35 -03:00
Victor Maia	e948648062	Fix stringifier and deriver	2022-07-27 17:26:04 -03:00
Victor Maia	7c1a7aa793	Stringify sugars and lists	2022-07-27 16:19:46 -03:00
Victor Maia	c7e18e936d	Inc version	2022-07-27 01:13:19 -03:00
Victor Maia	af1b3890d0	Proper reduction of default cases; fixes #32	2022-07-27 01:09:28 -03:00
Victor Maia	4c21332cad	Inc version	2022-07-26 17:33:49 -03:00
Victor Maia	be09477634	Show unbound var name	2022-07-26 17:12:39 -03:00
Victor Maia	4564e27fee	Fix derive path with dots	2022-07-26 16:32:48 -03:00
Victor Maia	a8e9d02c68	Add missing type name	2022-07-25 22:42:13 -03:00
Victor Maia	b3e0d2802b	Match syntax and improvements	2022-07-25 20:23:31 -03:00
Victor Maia	edf9a9fdc5	Terminal IO	2022-07-24 14:16:59 -03:00
Victor Maia	c5295e9c08	Inc version	2022-07-23 23:06:46 -03:00
Victor Maia	4c2641eeb8	Update HVM; fixes #31	2022-07-23 23:05:07 -03:00
Victor Maia	b53901dcde	Add an equality to let-bound variables ... Should allow using let for type aliases.	2022-07-23 15:48:39 -03:00
Victor Maia	e941df9fb0	Re-enable errors on top-level types	2022-07-23 14:44:13 -03:00
Victor Maia	f64e4177ab	Temporarily disable errors on top-level types	2022-07-23 14:25:22 -03:00
Victor Maia	1a39ce8cb9	Improve errors	2022-07-23 14:21:13 -03:00
Victor Maia	bbbc7aa16d	Fix holes on var-term equality	2022-07-23 13:13:38 -03:00
Victor Maia	21f99febab	Reject repeated variables; fixes #31	2022-07-23 10:17:34 -03:00
Victor Maia	7f9e6a67fc	Optimize filler	2022-07-23 09:36:15 -03:00
Victor Maia	dd59dcb0eb	Algebraic datatype declarations and generic derivers	2022-07-22 22:17:21 -03:00
Victor Maia	44a289a6c5	Avoid unbound variables	2022-07-22 19:32:00 -03:00
Victor Maia	66950a9b77	Allow defining Foo inside Foo/_.kind	2022-07-22 18:19:06 -03:00
Victor Maia	748a97b326	Substitute holes inside equality	2022-07-22 17:32:42 -03:00
Victor Maia	ba11f21191	Bugfixes and polishments	2022-07-22 15:04:49 -03:00
Victor Maia	a58e107d93	Fix equality of identicals erroring	2022-07-22 11:45:50 -03:00
Victor Maia	6a0c4e21d4	Inc version	2022-07-20 13:45:02 -03:00
Victor Maia	5ea7949471	Shorten message	2022-07-20 02:12:39 -03:00
Victor Maia	39a1e6b5b3	File not found error	2022-07-20 01:46:42 -03:00
Victor Maia	bec02ab574	Initial file loader and fixes	2022-07-20 01:44:14 -03:00
Victor Maia	1f24ecc183	Don't generate file on kind2 check command	2022-07-19 20:36:55 -03:00
Victor Maia	cde1f62a77	Inc version	2022-07-19 20:26:42 -03:00
Victor Maia	87bf1f6b1e	Extend Cargo.toml	2022-07-19 20:25:52 -03:00
Victor Maia	dc578a74c6	Initial do-notation	2022-07-19 17:10:17 -03:00
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	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
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	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	41e2518ddd	Initial working type-checker	2022-07-13 23:19:47 -03:00
Victor Maia	469eb5976d	Initial commit	2022-07-12 22:47:17 -03:00