Blog articles tagged 'idris'

0
comment
on 7/25/2016 2: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 5:38 AM
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[...]
.
0
comment
on 3/31/2015 6:17 PM
Tweet This excellent book by Steve Krug was a real eye opener when I chanced upon it a few years ago. I’m not a UI/UX designer by trade or by training, and as a backend developer my appreciation for UI/UX has very little outlet in my day-to-day job either[...]
.
IntelliFactory Offices Copyright (c) 2011-2012 IntelliFactory. All rights reserved.
Home | Products | Consulting | Trainings | Blogs | Jobs | Contact Us
Built with WebSharper