[HN Gopher] Show HN: Type-level Lambda Calculus interpreter in T...
___________________________________________________________________
Show HN: Type-level Lambda Calculus interpreter in TypeScript
Author : evolveyourmind
Score : 6 points
Date : 2021-12-17 19:37 UTC (3 hours ago)
(HTM) web link (github.com)
(TXT) w3m dump (github.com)
| informationally wrote:
| Very cool.
___________________________________________________________________
(page generated 2021-12-17 23:02 UTC)