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 Website Builders vs Hand Coding Builder Builder Write For Us Related Posts BMW E92 – Coding foldable mirrors with car key in NCS Expert Builder Our Experience Attending Coding Bootcamps || Tech Talk Tuesday Episode #1 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.
