Tags

misc
functional-programming
idris2
splv2020
type-theory
type-you-an-idris
formal-methods
intro
howto
linux