 Wojciech Karpiel
|
8c5d8bb238
more aggressive prunning
|
4 月之前 |
|
Wojciech Karpiel
|
d577834742
Fix equals-hashCode contract in Abstracion
|
4 月之前 |
|
Wojciech Karpiel
|
1892183a3a
post v0.9 release
|
4 月之前 |
|
Wojciech Karpiel
|
9fe1521e41
Bugfix: Variables with inferred types can be safely substituted
|
4 月之前 |
|
Wojciech Karpiel
|
bb8d4cb297
less ide warnings
|
4 月之前 |
|
Wojciech Karpiel
|
0d4197c99a
add tests, fix substituter, lazy alpha
|
4 月之前 |
|
Wojciech Karpiel
|
ad99729344
basic inference support
|
4 月之前 |
|
Wojciech Karpiel
|
2af9f6d0ce
v 0.7
|
4 月之前 |
|
Wojciech Karpiel
|
c969a1c026
match procedure bugfix
|
4 月之前 |
|
Wojciech Karpiel
|
4c039e067a
fix substitution
|
4 月之前 |
