Naive lambda-calculus evaluation


#1

A Naive 位-calculus evaluation using (once again :grin:) the Thicket language. This version compiles the source code on-the-fly and provides a REPL dedicated to a minimalist language using 位-terms!

https://hyperweb.space/#!/project/helix-fairy


#2

Hi! :slight_smile:

Sorry for not having reached earlier! This looks very nice! Thanks :slight_smile: