Tags

misc
Sat, 10 Sep 2022
functional-programming
Fri, 2 Sep 2022
idris2
Fri, 2 Sep 2022
splv2020
Fri, 2 Sep 2022
type-theory
Fri, 2 Sep 2022
type-you-an-idris
Fri, 2 Sep 2022
formal-methods
Tue, 15 Mar 2022
intro
Tue, 15 Mar 2022
howto
Fri, 6 Aug 2021
linux
Fri, 6 Aug 2021