the next generation of the in-browser educational proof assistant
render = infix
+6
+6
src/HOTermView.res
+6
src/HOTermView.res
···
46
46
</span>
47
47
| App(_) =>
48
48
switch HOTerm.strip(term) {
49
+
| (Symbol({name: "="}), args) if Array.length(args) == 2 =>
50
+
<span className="term-equality">
51
+
{React.createElement(make, {term: args->Array.getUnsafe(0), scope})}
52
+
{React.string("=")}
53
+
{React.createElement(make, {term: args->Array.getUnsafe(1), scope})}
54
+
</span>
49
55
| (func, args) =>
50
56
<span className="term-app">
51
57
{React.createElement(make, {term: func, scope})}