recentpopularlog in

ianweatherhogg : peano   22

Dependent Types in Scala | Programming Blog (name-pending)
After reading a post by Miles Sabin on StackOverflow about dependent types, and looking at some of the source of the Shapeless library, I thought I'd give dependent typing in Scala a shot myself. Dependent types are types that depend on a value. So far I'm focusing mainly on Π-types, which as Miles' StackOverflow post…
scala  dependent  type  helloworld  peano  5* 
june 2015 by ianweatherhogg
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

Copy this bookmark:

to read