These are chat archives for evhub/coconut

Nov 2017
Evan Hubinger
Nov 30 2017 06:06 UTC

@coventry @candeira Glad to hear the support!

SublimeText and Spyder probably have the best Coconut integration at this point, since Sublime has sublime-coconut and Spyder just uses Coconut's Pygments highlighter. Those are the two that I maintain, the others are all built by people in the community. If you want to go ahead and build a better emacs integration, I'd be happy to link it in the documentation!

Probably pyrsistent, yeah. I've considered GADTs, but I wasn't sure what the syntax would look like in Coconut or what the use cases would be. Do you have ideas about what you'd like to see in terms of Coconut GADT support?