Jeremy W. Sherman
stay a while, and listendependent-types
- An Idris metaprogramming “hello world” 10 Oct 2015
- When is a proof not a proof? 2 Oct 2015
- What if you get your dependent type backwards? 2 Oct 2015
- Read: Why dependent types matter 26 Aug 2015