April 21, 2015
Yes! As of late 2013 I'm interested in dependent typing, so Idris is high on the list. I'm also keen on concatenative languages and hence I'd like to give Elba a spin.
Hi, I'm dann.