A Naive 位-calculus evaluation using (once again 
) the Thicket language. This version compiles the source code on-the-fly and provides a REPL dedicated to a minimalist language using 位-terms!
Hi! 
Sorry for not having reached earlier! This looks very nice! Thanks