 Wojciech Karpiel
|
8524c203cf
v0.10 release
|
8 months ago |
|
Wojciech Karpiel
|
d577834742
Fix equals-hashCode contract in Abstracion
|
8 months ago |
|
Wojciech Karpiel
|
ad6cbd195c
post v0.9 release
|
8 months ago |
|
Wojciech Karpiel
|
1892183a3a
post v0.9 release
|
8 months ago |
|
Wojciech Karpiel
|
6455027652
Release v0.0
|
8 months ago |
|
Wojciech Karpiel
|
9fe1521e41
Bugfix: Variables with inferred types can be safely substituted
|
8 months ago |
|
Wojciech Karpiel
|
03a1157364
release version 0.8
|
8 months ago |
|
Wojciech Karpiel
|
0fbc3c5e0a
refactor type inference
|
8 months ago |
|
Wojciech Karpiel
|
832ff20c6a
v 0.8 snapshot
|
9 months ago |
|
Wojciech Karpiel
|
2af9f6d0ce
v 0.7
|
9 months ago |
|
Wojciech Karpiel
|
ea93abdc0a
v0.6 release
|
9 months ago |
|
Wojciech Karpiel
|
e95058168b
more doc
|
9 months ago |
|
Wojciech Karpiel
|
f76921975e
release v0.5
|
9 months ago |
|
Wojciech Karpiel
|
67730d7e18
next v
|
9 months ago |
|
Wojciech Karpiel
|
41bb86d379
random refactors
|
9 months ago |
|
Wojciech Karpiel
|
c1a5e58d59
Switch to Jitpack
|
9 months ago |
|
Wojciech Karpiel
|
5c25930e19
add license
|
9 months ago |
|
Wojciech Karpiel
|
7e2abf2153
doesn't work find alternative repo
|
9 months ago |
|
Wojciech Karpiel
|
6ad0823126
release was hour earlier, but fixed big issue
|
9 months ago |
|
Wojciech Karpiel
|
d6e99f1a5e
fixes
|
9 months ago |
|
Wojciech Karpiel
|
5babc65ac9
v0.2
|
9 months ago |
|
Wojciech Karpiel
|
3bc9c878f4
print++
|
9 months ago |
|
Wojciech Karpiel
|
3e288ef1ce
fix serious bug with eta-normal form. Remove note from README, it was a bug, not a feature
|
9 months ago |
|
Wojciech Karpiel
|
8930e3fdf1
post-release
|
9 months ago |
|
Wojciech Karpiel
|
bee40a1427
user-facing API stub
|
9 months ago |
|
Wojciech Karpiel
|
f939ffb9af
fix packages lol
|
9 months ago |
|
Wojciech Karpiel
|
9741894f73
wip
|
9 months ago |
|
Wojciech Karpiel
|
8fbcd50ee4
clearly separate beta and eta. TODO: figure out how to incorporate eta
|
9 months ago |
|
Wojciech Karpiel
|
1332dd34d3
wagmi
|
9 months ago |
|
Wojciech Karpiel
|
210d422f55
wit types
|
9 months ago |
