Wojciech Karpiel - NotABug.org: Free code hosting

Wojciech Karpiel WojciechKarpiel

Kraków
https://www.wojciechkarpiel.pl/
Joined on Jul 30, 2018
0 Followers - 0 Following

WojciechKarpiel pushed to master at WojciechKarpiel/jhou

e509a3e87a polepszyć najbrzydszą część. Dalej jest słabo

9 months ago

WojciechKarpiel pushed to master at WojciechKarpiel/jhou

10 months ago

WojciechKarpiel pushed tag v0.10 to WojciechKarpiel/jhou

10 months ago

WojciechKarpiel pushed to master at WojciechKarpiel/jhou

63313e4ad5 refactor
c96a49c17f refactor
8c5d8bb238 more aggressive prunning
View comparison for these 3 commits »

10 months ago

WojciechKarpiel pushed to master at WojciechKarpiel/jhou

83ab6a2c63 alpha conv not in raw term - scrapping last places
5c837fdca7 random static code analysys fixes
dbe8fe048d Don't use hashcode-based structures with term - it doesn't make sense in many places after alpha-equality is gone
View comparison for these 3 commits »

10 months ago

WojciechKarpiel pushed to master at WojciechKarpiel/jhou

7558e69394 Refactor matcher

10 months ago

WojciechKarpiel pushed to master at WojciechKarpiel/jhou

d577834742 Fix equals-hashCode contract in Abstracion

10 months ago

WojciechKarpiel pushed to master at WojciechKarpiel/jhou

ad6cbd195c post v0.9 release

10 months ago

WojciechKarpiel pushed tag v0.9 to WojciechKarpiel/jhou

10 months ago

WojciechKarpiel pushed to master at WojciechKarpiel/jhou

10 months ago

WojciechKarpiel pushed to master at WojciechKarpiel/jhou

9fe1521e41 Bugfix: Variables with inferred types can be safely substituted

10 months ago

WojciechKarpiel pushed to master at WojciechKarpiel/jhou

6efa15e578 random stuff
bb8d4cb297 less ide warnings
b50fc39d1c less ide warnings
View comparison for these 3 commits »

10 months ago

WojciechKarpiel pushed to master at WojciechKarpiel/jhou

b2df6bb3c8 less ide warnings
0d4197c99a add tests, fix substituter, lazy alpha
View comparison for these 2 commits »

10 months ago

WojciechKarpiel pushed to master at WojciechKarpiel/jhou

e8deda8377 major speedup

10 months ago

WojciechKarpiel pushed to master at WojciechKarpiel/jhou

bdee466ecf new snapshot version 0.9-SNAPSHOT
03a1157364 release version 0.8
0fbc3c5e0a refactor type inference
View comparison for these 3 commits »

10 months ago

WojciechKarpiel pushed tag v0.8 to WojciechKarpiel/jhou

10 months ago

WojciechKarpiel pushed to master at WojciechKarpiel/jhou

f410a8e2ad speed up type inference by pretending we're doing 1st order unification in higher-order alhorigthm. TBH it was a bad idea to try to use the higher-order algotithm, i should have writter 1st order mathcing quickly instead of doing this

10 months ago

WojciechKarpiel pushed to master at WojciechKarpiel/jhou

ad99729344 basic inference support

10 months ago

WojciechKarpiel pushed to master at WojciechKarpiel/jhou

10 months ago

WojciechKarpiel pushed to master at WojciechKarpiel/jhou

2eca09431f prune the tree

10 months ago