no comments Share Tweet Share Pin it Share Stumble Email HomeCodingDavid Christiansen – Coding for Types: The Universe Patern in Idris – Curry On David Christiansen – Coding for Types: The Universe Patern in Idris – Curry On Coding By Builder Curry On Prague, July 7th 2015 http://curry-on.org http://2015.ecoop.org source Recommended For You Risk Adjustment and HCC Coding Overview Builder Builder Write For Us Related Posts Sacrificing the Golden Calf of coding Builder Choosing a text editor and IDE for coding Builder Reply Cancel reply Currently you have JavaScript disabled. In order to post comments, please make sure JavaScript and Cookies are enabled, and reload the page. Click here for instructions on how to enable JavaScript in your browser.
