Victor Maia
|
e023947255
|
Omit most parenthesis; arrow lambda syntax (x => y)
|
2022-08-05 05:03:25 -03:00 |
|
Victor Maia
|
af1b3890d0
|
Proper reduction of default cases; fixes #32
|
2022-07-27 01:09:28 -03:00 |
|
Victor Maia
|
e941df9fb0
|
Re-enable errors on top-level types
|
2022-07-23 14:44:13 -03:00 |
|
Victor Maia
|
748a97b326
|
Substitute holes inside equality
|
2022-07-22 17:32:42 -03:00 |
|
Victor Maia
|
bec02ab574
|
Initial file loader and fixes
|
2022-07-20 01:44:14 -03:00 |
|
Victor Maia
|
03ca923efe
|
Fixes and polishments
|
2022-07-19 20:20:11 -03:00 |
|
Victor Maia
|
dc578a74c6
|
Initial do-notation
|
2022-07-19 17:10:17 -03:00 |
|
Victor Maia
|
47a5a28038
|
Allow matching U60
|
2022-07-19 01:15:47 -03:00 |
|
Victor Maia
|
4a3709d9b8
|
Add missing Op2 operators
|
2022-07-18 23:09:59 -03:00 |
|
Victor Maia
|
6c1c5ec989
|
Write README.md
|
2022-07-18 22:47:18 -03:00 |
|
Victor Maia
|
8748621eed
|
HVM and Kindelia compilers
|
2022-07-18 22:29:57 -03:00 |
|
Victor Maia
|
61a5222eac
|
Check unbound variables
|
2022-07-18 20:35:45 -03:00 |
|
Victor Maia
|
980ae3ff99
|
More examples
|
2022-07-17 21:38:45 -03:00 |
|
Victor Maia
|
a6cec59405
|
U60 primitive
|
2022-07-17 20:05:49 -03:00 |
|
Victor Maia
|
bbf56bb45b
|
Bugfixes and Nat.comm proof
|
2022-07-17 02:50:55 -03:00 |
|
Victor Maia
|
fbf9c5d94b
|
Reorganzie examples
|
2022-07-17 00:50:50 -03:00 |
|
Victor Maia
|
28b758e676
|
Cleanups
|
2022-07-17 00:46:09 -03:00 |
|
Victor Maia
|
b619e96e8e
|
Implicit arguments
|
2022-07-17 00:03:15 -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
|
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 |
|