idris-canvas

made by trillionalyssa, submitted by porterjamesj
Bindings to the browser canvas API for the Idris language.

Type systems and logic

made by trillionalyssa, submitted by jollysonali
A long form essay that shows the relationship between type systems and logic systems in type theory.