Human Folly about “Idris”

(publications.lib.chalmers.se):
65-page #PDF thesis #paper on #formal-methods #Ethereum #smart-contracts development with #Idris. I think this is the first two-author thesis I’ve seen.
on 02017-07-20
(publications.lib.chalmers.se):
Safer smart contracts through type-driven development in #Idris: “We show how dependent and polymorphic types can make smart contract development safer. This is demonstrated by using the functional language Idris to describe smart contracts on the #Ethereum platform.” #formal-methods #pdf
on 02016-07-20
Tauchain (idni.org):
A programming language similar to #Idris language in a blockchain with RDF and N3, from the “Intelligent decentralized networks initiative”. “We aim to generalize the concept as much as we find, and give users the ability to implement virtually any P2P network over tau-chain.” #formal-methods
on 02016-05-31
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