Martin Fredin
|
a1b1343d67
|
Add latex file
|
2023-04-03 12:04:52 +02:00 |
|
Martin Fredin
|
cc5755c3a9
|
Add layout grammar
|
2023-04-03 09:24:13 +02:00 |
|
sebastianselander
|
88a4a934b8
|
added more manual tests
|
2023-03-22 10:32:22 +01:00 |
|
sebastianselander
|
7619e36c60
|
Inference works better now. Still work to do. Should use proper library
|
2023-02-15 17:40:18 +01:00 |
|
sebastianselander
|
73dc2e4b6a
|
Inference on most expressions. HM based.
Still have to figure out how to infer type of lambda variables, as well
as how function application on polymorphic should work
|
2023-02-13 12:17:49 +01:00 |
|
sebastianselander
|
f4f1786be3
|
Revert "Merge branch 'typechecking' into codegen-martin-3"
This reverts commit e000e5159f, reversing
changes made to 3ac8377fa0.
|
2023-02-10 10:46:09 +01:00 |
|
sebastianselander
|
e000e5159f
|
Merge branch 'typechecking' into codegen-martin-3
|
2023-02-10 10:33:15 +01:00 |
|
Martin Fredin
|
7c313b3faa
|
Fix basic tests
|
2023-02-09 20:23:49 +01:00 |
|
sebastianselander
|
b6b2dfa25f
|
Some work on a typechecker
|
2023-01-23 17:17:06 +01:00 |
|
Martin Fredin
|
787dbd85db
|
Add Makefile, add remove Grammar dir
|
2023-01-21 19:44:22 +01:00 |
|