Author Topic: Idris Support  (Read 1085 times)

RaffoPazzo

  • Community Member
  • Posts: 77
  • Hero Points: 2
Idris Support
« 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 :)

patrick

  • SlickEdit Team Member
  • Senior Community Member
  • *
  • Posts: 1818
  • Hero Points: 151
Re: Idris Support
« Reply #1 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.