Pinned Repositories
docs
Project jornal, reading list etc
examples
Code samples inspiring language design
idris-se
Idris to Serpent back end for Ethereum smart contracts
reveal.js
The HTML Presentation Framework
vindaloo-thesis.github.io
vindaloo-thesis's Repositories
vindaloo-thesis/idris-se
Idris to Serpent back end for Ethereum smart contracts
vindaloo-thesis/examples
Code samples inspiring language design
vindaloo-thesis/docs
Project jornal, reading list etc
vindaloo-thesis/reveal.js
The HTML Presentation Framework
vindaloo-thesis/vindaloo-thesis.github.io