News for hackers. Stuff that matters.
Re:Show HN: Type-level Lambda Calculus interpreter in TypeSc... by informationally on Friday December 17, 2021 @03:05PM (#29597672)
Very cool.