Looks like it could be useful as IDL? [1] Although I'm surprised about the list of initial targets supported. Now your Idris can talk to your Haskell!!! Yay? :

Looks like it could be useful as IDL? [1] Although I'm surprised about the list of initial targets supported. Now your Idris can talk to your Haskell!!! Yay? :-) 1: https://en.wikipedia.org/wiki/Interface_description_language https://en.wikipedia.org/wiki/Interface_description_language