npm.io
Idris Packages
idris-ide-client
A library for talking to the Idris IDE.
idris
0.1.6 • Published 3 years ago