Re:Show HN: Type-level Lambda Calculus interpreter in TypeSc...
by informationally on Friday December 17, 2021 @03:05PM
(#29597672)
Very cool.
[ Parent
| on HN ]
There are no comments on this comment yet.