~omrigan/lalambda-env

Demo projects for coq, haskell and TLA+