Recently, I tried pair programming for the last project I was involved with. After a few months I have a some (mostly positive) things to re...
For a while now I’ve been planning to get a start on the dependently-typed programming language Idris . Actually, I can ‘kill four birds wi...
So what's this blog going to be about? Well, I'll introduce myself a little... 31.2553° S, 136.8032° E I am Jason Werry, a sof...
