Human Folly about “sbp”

Idris metaprogramming hello world (jeremywsherman.com):
of the #Idris tutorials, this “was the most fun to play along with” #sbp #formal-methods
on 02016-05-31
Search (webcache.googleusercontent.com):
#sbp #Idris #pdf #formal-methods
on 02016-05-31
(helm.cs.unibo.it):
#sbp #Idris #formal-methods
on 02016-05-31
48 logic proofs with Agda Coq Idris (blog.cppcabrera.com):
#formal-methods #sbp #Idris
on 02016-05-31
Universes (adam.chlipala.net):
#sbp #Idris #formal-methods
on 02016-05-31
39 software foundations Idris (blog.cppcabrera.com):
#formal-methods #sbp #Idris #formal-methods
on 02016-05-31
Idris tutorial (eb.host.cs.st-andrews.ac.uk):
#sbp #formal-methods #Idris #tutorial #pdf #formal-methods
on 02016-05-31
Proof terms in Idris (dafoster.net):
#sbp #formal-methods #Idris #formal-methods
on 02016-05-31
Patterns (docs.idris-lang.org):
#sbp #Idris #formal-methods
on 02016-05-31
Tactics (docs.idris-lang.org):
#sbp #formal-methods #Idris #formal-methods
on 02016-05-31
Theorems (docs.idris-lang.org):
#sbp #formal-methods #Idris #tutorial #formal-methods
on 02016-05-31