Enable coalton-mode inside coalton-toplevel in lisp-mode. (#1747)
#263
| Job | Run time |
|---|---|
| 59s | |
| 59s |
coalton-toplevel in lisp-mode. (#1747)
#263
| Job | Run time |
|---|---|
| 59s | |
| 59s |