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 |
|