recentpopularlog in

ianweatherhogg : proof   42

Learn You an Agda - William DeMeo
This is a markdown version of the tutorial
Learn You an Agda and Achieve Enlightenment!
by Liam O’Connor-Davis. I made this version for my own …
agda  helloworld  proof  peano  recursion  math  emacs  for  all  5* 
november 2014 by ianweatherhogg
Chromatic Leaves | White paper: Compile Time TDD Coverage with Idris
A high level introduction to learning dependent types via Idris
haskell  idris  test  proof 
may 2014 by ianweatherhogg
Poleiro, the Coq blog - Archives
A blog about the Coq proof assistant and
programming language
blogs  hakyll  coq  game  theory  combinator  proof  induction  type 
april 2014 by ianweatherhogg

Copy this bookmark:

to read