A library for lambda calculus with browser client
Try it: instance
To compile to javascript you need to install reflex-platform
After that, from the reflex shell run
cabal configure --ghcjs
cabal build
The page assets will be found in dist/build/LambdaCalculus/LambdaCalculus.jsexe/
After first build html assets can be copied there (needed only first time)
cp index.html client.css dist/build/LambdaCalculus/LambdaCalculus.jsexe/
Now you can use it with the browser
firefox `pwd`/dist/build/LambdaCalculus/LambdaCalculus.jsexe/index.html