A stream from my Twitch channel: / puffnfresh Final code is here: bitbucket.org/snippets/puffnf...
Жүктеу.....
Пікірлер: 6
@ebn__5 жыл бұрын
(No changes need to be saved)
@HDQuote3 жыл бұрын
Would you recommend Agda for proving pure math theorems (like from Calculus 1-3 / complex Analysis and abstract algebra)? Also: wow, I am totally impressed by you. I have not watched your entire video but I consider learning Agda as well.
@danconcep4 жыл бұрын
In xor you use flip, that is why you need to split the right variable. :P
@callanmcgill2 жыл бұрын
I miss your legendary zoomed in streams brian, hope things are well for you!
@brandomiranda67032 жыл бұрын
The syntax {a} is confusing. How do you know that is of type Type? I assume it's {a:Type} right?
Пікірлер: 6
(No changes need to be saved)
Would you recommend Agda for proving pure math theorems (like from Calculus 1-3 / complex Analysis and abstract algebra)? Also: wow, I am totally impressed by you. I have not watched your entire video but I consider learning Agda as well.
In xor you use flip, that is why you need to split the right variable. :P
I miss your legendary zoomed in streams brian, hope things are well for you!
The syntax {a} is confusing. How do you know that is of type Type? I assume it's {a:Type} right?
so basically its refl refl refl refl...