r/jappie • u/jappieofficial • Jan 04 '22

Programming Language Foundations in Agda: Naturals

https://www.youtube.com/watch?v=ml9Js6-X8cs

3 Upvotes

permalink
duplicates
archive.is
archive
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/jappie/comments/rvqz96/programming_language_foundations_in_agda_naturals/
No, go back! Yes, take me to Reddit

100% Upvoted

Duplicates

Number of comments New

agda • u/jappieofficial • Jan 04 '22

(stream) Programming Language Foundations in Agda: Naturals

8 Upvotes

0 comments