Closed 80aff123-9163-4f3e-a93d-4a2f35af9be1 closed 3 years ago
It's syntax is similar to Haskell and Agda but slightly different (see #869)
We are currently using Scintillua for syntax highlighting. Please direct your feature request at upstream. Thanks.
Purescript
It's syntax is similar to Haskell and Agda but slightly different (see #869)