Calculus Constructio Web Interpreter

This website allows you to run any code in the language Calculus Constructio. The source code for this website is here.