cyberglot/a-journey-towards-unification
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
unfortunately not a tale about social changes
1 commit 1 branch 0 tags 421 KiB
  • Haskell 57.9%
  • Standard ML 42.1%
Find a file
Exact
april 47a63a243e add categorical reconstruction of a reduction free normalization proof
2023-09-20 12:36:04 +01:00
categorical-reconstruction-of-a-reduction-free-normalization-proof add categorical reconstruction of a reduction free normalization proof 2023-09-20 12:36:04 +01:00
sml.json add categorical reconstruction of a reduction free normalization proof 2023-09-20 12:36:04 +01:00