3 ms·
I'll add it! Thanks. EDIT: Actually, it's not quite "ML-family" enough for this post. But it is a remarkably cool project! :)
by surprisetalk 9mo ago
I'll add it! Thanks.
EDIT: Actually, it's not quite "ML-family" enough for this post. But it is a remarkably cool project! :)
- solomonb 9mo agoIf you're accepting additions here is a fun one some friends and I did as experiment at the Topos Institute: https://github.com/ToposInstitute/polytt https://github.com/ToposInstitute/polytt And here is a set of single file lambda calculus implementations with a variety of extensions: https://github.com/solomon-b/lambda-calculus-hs https://github.com/solomon-b/lambda-calculus-hs `polytt` is kind of an ended experiment but that lambda calculus repo i plan to extend in the near future.
- mlajtos 9mo ago> Actually, it's not quite "ML-family" enough for this post. But it is a remarkably cool project! :) Fair. Thank you :)