Blog articles tagged 'idris'

0
comment
on 7/25/2016 11:00 AM
Tweet Hello, Recording of my programming languages talk at The Lead Developer conference this year is available now. It was a well run, and intimate conference despite nearly 500 attendees this year. It’s quite different from many conferences I have atten[...]
.
0
comment
on 4/2/2015 2:38 PM
This is mainly for myself in case I forget some of the steps involved – but maybe you find this usefull to in case you want to play with IDRIS. This is how I setup a cabal sandbox, fetch the latest version and (re-)build it. update More info on github fir[...]
.
IntelliFactory Offices Copyright (c) 2011-2012 IntelliFactory. All rights reserved.
Home | Products | Consulting | Trainings | Blogs | Jobs | Contact Us
Built with WebSharper