“Super Haskell”: an introduction to Agda by André Muricy Channel: Func Prog Sweden8K views • 01/07/2024