liamoc.net / holbert-ng
the next generation of the in-browser educational proof assistant
Star
Fork 2
Watch

aesthetic changes master

- remove outermost parens in SExpressions in line with higher order terms - use unicode ↦ in introduction options rather than plain text |-> - use unicode ε instead of "" for empty strings

Author Josh Brown Date Commit 44c88b4c Parent fd1668ee Change ID koypmzlt
+41 -27
2 changed files