Brendan Zabarauskas on Twitter: "@dregntael @RaeHaskell Yeah I’d love to see this for Agda! Really enjoyed these videos too. 🥰" / Twitter

Update on Dependent Haskell youtu.be/TXDivoj1v6w ^ I'm liking this recent series of videos by

on #Haskell so much! Makes me want to do something similar for Agda...

Replying to

and

Yeah I’d love to see this for Agda! Really enjoyed these videos too. 🥰

Replying to

and

I’d really enjoy that too!

Conversation