- ▸ January 28, 2014 Idris to JavaScript: New and improved!
- ▸ May 31, 2013 Calling Idris from Javascript and vice-versa
- ▸ February 13, 2013 Shrinking Idris JavaScript with Closure
- ▸ January 21, 2013 Idris to JavaScript: Playing with the FFI
- ▸ January 18, 2013 Towards dependently typed webprogramming with Idris