[ny-haskell] A Taste of Agda with Francesco Mazzoli Channel: NYC Functional Programming Videos35 views • 8mo ago