4 ms·

I also found the following very useful: * A Demonstration of Agda (https://www.youtube.com/watch?v=8WFMK0hv8bE https://www.youtube.com/watch?v=8WFMK0hv8bE) *

by pykello 11y ago

I also found the following very useful: * A Demonstration of Agda (https://www.youtube.com/watch?v=8WFMK0hv8bE https://www.youtube.com/watch?v=8WFMK0hv8bE) * Agda Tutorial (http://people.inf.elte.hu/divip/AgdaTutorial/Index.html http://people.inf.elte.hu/divip/AgdaTutorial/Index.html)