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 Tips for Radiology Coding – CPT Codes for Radiology Builder Builder Write For Us Related Posts Microservices with Axon platform live coding webinar Builder Using Blockly to Draw Pictures in Coding with Chrome 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.
