codemirror-cyp-fpv
In the TUM lecture Functional Programming and Verification (FPV), we not only wrote Haskell code, but also prooved its correctness using a Haskell proof checker called Check Your Proof (CYP). The lecture had an online interface for this, but it was painful to use, because the input was a regular text box.
I created a Codemirror extension for CYP syntax and embedded Codemirror into the page. The responsible people at the chair added my changes to the page. While it is not publicly available, you can still access my demo: codemirror-cyp-fpv
back