Twitch: Proving things using Agda!
Brian McKenna
0:00 / 0:00
Twitch: Proving things using Agda!
6 423 просмотра · 8 л. назад
Brian McKenna
1,46 тыс. подписчиков
6 423 просмотра · 8 л. назад
A stream from my Twitch channel:
/ puffnfresh
Final code is here:
https://bitbucket.org/snippets/puffnf...
