martanne / vis

A vi-like editor based on Plan 9's structural regular expressions

Other

4.23k stars 256 forks source link

Closed 80aff123-9163-4f3e-a93d-4a2f35af9be1 closed 3 years ago

80aff123-9163-4f3e-a93d-4a2f35af9be1 commented 4 years ago

Agda

Agda has similar syntax to Haskell but with some slight differences.

See this video comparison between haskell and agda syntax at the beginning.

I'm not sure if I can work on it at the moment fully but would like to mention in it in case anybody would like to start.

martanne commented 3 years ago

We are currently using Scintillua for syntax highlighting. Please direct your feature request at upstream. Thanks.