search

gleachkr / Carnap-Old

An interactive proof checker that runs in the browser
http://gleachkr.github.io/Carnap/
GNU General Public License v3.0
3 stars 0 forks source link

Editor improvements #12

Open gleachkr opened 9 years ago

gleachkr commented 9 years ago

We'd like to change over to a simple ghcjs powered editor-box, rather than the current javascript editor.

gleachkr commented 9 years ago

Some desirable features might include:

  1. Automatic replacement of keywords with unicode glyphs
  2. html canvas view, for possible coloring/highlighting/indent-lines, etc.
  3. Automatic indent/outdent of subproofs