SlickEdit Community

SlickEdit Product Discussion => SlickEdit® => Topic started by: RaffoPazzo on April 29, 2021, 02:48:37 pm

Title: Idris Support
Post by: RaffoPazzo on April 29, 2021, 02:48:37 pm
Hi guys, I've published my SlickEdit plugin on github to support Idris https://github.com/idris-community/idris2-slickedit
It's really just few lines of Slick-C but perhaps you may want to have a look in case something can be improved or even hosted directly by the next version of SlickEdit! That would be awesome :)
Title: Re: Idris Support
Post by: patrick on April 29, 2021, 04:06:08 pm
Neat.  I've installed it and the new (to me) Idris2.  I've gone through some of the Idris dist source files, but I'll have to take a closer look later tonight.  I haven't revisited Idris since the Type Driven Development book first came out, so I can barely remember how to use the commands for generating cases, etc.  I'll probably have to hit a tutorial to be able to try out your bindings.