Kindelia/Kind2
1
1
Fork 0
mirror of https://github.com/Kindelia/Kind2.git synced 2024-09-17 10:59:12 +03:00
Code Issues Projects Releases Wiki Activity
607 Commits 10 Branches 10 Tags 56 MiB
1d5d055ba1
Commit Graph

112 Commits

Author SHA1 Message Date
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