About Bradley Saul

Statistician turned type theorist.

#Agda #Haskell

Lists

Timeline

bradleysaul has no activity yet