radekmie / lambda

Beta reduction graph visualization

https://radekmie.dev/lambda/

Geek Repo

Github PK Tool