~trillionalyssa

Bindings to the browser canvas API for the Idris language. — porterjamesj

A long form essay that shows the relationship between type systems and logic systems in type theory. — jollysonali