About Bradley Saul

Statistician turned type theorist.

#Agda #Haskell

Lists

Timeline

{username} has no activity yet