George blog
About
GMCDs
Archive
Posts tagged “haskell”
Date
Title
Tags
2022-03-30
Types and proof assistants
proof-assistants
,
agda
,
haskell
,
type-theory