Search
idris-ide-client
A library for talking to the Idris IDE.
0.1.0
0.1.1
0.1.2
0.1.3
0.1.4
0.1.5
0.1.6
main:
https:/unpkg.com/idris-ide-client@0.1.6/build/index.js
Copy URL
Browse on unpkg
