 pca006132
|
39b3faba6e
|
fixed for loop unification
|
2021-07-12 10:36:52 +08:00 |
|
pca006132
|
1ad21f0d67
|
optional virtual type annotation
|
2021-07-12 09:35:01 +08:00 |
|
pca006132
|
dbf9c17d9f
|
added assumption
|
2021-07-10 16:23:07 +08:00 |
|
pca006132
|
0010e5852a
|
added readme
|
2021-07-10 16:21:30 +08:00 |
|
pca006132
|
902e1a892c
|
implemented basic operations
|
2021-07-10 15:45:53 +08:00 |
|
pca006132
|
b1020352ce
|
allows recursive type, implementing primitives
|
2021-07-10 15:11:27 +08:00 |
|
pca006132
|
66df55b3d7
|
virtual type
|
2021-07-10 14:36:28 +08:00 |
|
pca006132
|
0c8029d7e1
|
fixed minor bug
|
2021-07-09 17:31:54 +08:00 |
|
pca006132
|
e15e29d673
|
fixed polymorphic methods
|
2021-07-09 17:11:34 +08:00 |
|
pca006132
|
1c17ed003e
|
fixed type var check
|
2021-07-09 16:06:06 +08:00 |
|
pca006132
|
59628cfa38
|
init hm-inference
|
2021-07-09 15:27:02 +08:00 |