Wojciech Karpiel WojciechKarpiel

WojciechKarpiel pushed to master at WojciechKarpiel/jhou

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

2 months ago

WojciechKarpiel pushed tag v0.10 to WojciechKarpiel/jhou

2 months ago

WojciechKarpiel pushed to master at WojciechKarpiel/jhou

2 months ago

WojciechKarpiel pushed to master at WojciechKarpiel/jhou

2 months ago

WojciechKarpiel pushed to master at WojciechKarpiel/jhou

3 months ago

WojciechKarpiel pushed to master at WojciechKarpiel/jhou

  • d577834742 Fix equals-hashCode contract in Abstracion

3 months ago

WojciechKarpiel pushed to master at WojciechKarpiel/jhou

3 months ago

WojciechKarpiel pushed tag v0.9 to WojciechKarpiel/jhou

3 months ago

WojciechKarpiel pushed to master at WojciechKarpiel/jhou

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

3 months ago

WojciechKarpiel pushed to master at WojciechKarpiel/jhou

3 months ago

WojciechKarpiel pushed to master at WojciechKarpiel/jhou

3 months ago

WojciechKarpiel pushed to master at WojciechKarpiel/jhou

3 months ago

WojciechKarpiel pushed to master at WojciechKarpiel/jhou

3 months ago

WojciechKarpiel pushed tag v0.8 to WojciechKarpiel/jhou

3 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

3 months ago

WojciechKarpiel pushed to master at WojciechKarpiel/jhou

3 months ago

WojciechKarpiel pushed to master at WojciechKarpiel/jhou

3 months ago