A visualiser for lambda terms as rooted maps.
Home Page:https://georgejkaye.com/lambda-visualiser
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool