Twitch: Proving things using Agda!

Ғылым және технология

A stream from my Twitch channel:
/ puffnfresh
Final code is here:
bitbucket.org/snippets/puffnf...

Пікірлер: 6

  • @ebn__
    @ebn__5 жыл бұрын

    (No changes need to be saved)

  • @HDQuote
    @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.

  • @danconcep
    @danconcep4 жыл бұрын

    In xor you use flip, that is why you need to split the right variable. :P

  • @callanmcgill
    @callanmcgill2 жыл бұрын

    I miss your legendary zoomed in streams brian, hope things are well for you!

  • @brandomiranda6703
    @brandomiranda67032 жыл бұрын

    The syntax {a} is confusing. How do you know that is of type Type? I assume it's {a:Type} right?

  • @SuperNolane
    @SuperNolane3 ай бұрын

    so basically its refl refl refl refl...

Келесі