siddhartha-gadgil/presentations
presentations using reveal.js
Powerful new number types and numeric abstractions for Scala.
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
presentations using reveal.js
A Heroku-like name generator.
An invitation to propositions as types as in Homotopy type theory
Automatically exported from code.google.com/p/kojo.stories