Try to enable coalton-mode inside coalton-toplevel in lisp-mode.
#3803
| Job | Run time |
|---|---|
| 6m 54s | |
| 0s | |
| 6m 54s |
coalton-toplevel in lisp-mode.
#3803
| Job | Run time |
|---|---|
| 6m 54s | |
| 0s | |
| 6m 54s |