Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Typedefs. Parent comment
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
There are no comments on this comment yet.
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