https://www.google.com/search?q=agda+lang&oq=agda&gs_lcrp=EgZjaHJvbWUqBggBEEUYOzIGCAAQRRg7MgYIARBFGDsyBggCEEUYPTIGCAMQLhhA0gEIMzQzMWowajGoAgCwAgA&sourceid=chrome&ie=UTF-8 https://rosettacode.org/wiki/FizzBuzz#Agda https://wiki.portal.chalmers.se/agda/pmwiki.php https://agda.readthedocs.io/en/latest/getting-started/a-taste-of-agda.html#agda-as-a-proof-assistant-proving-associativity-of-addition https://plfa.github.io/ https://plfa.github.io/Equality/ https://plfa.github.io/Equality/ https://plfa.github.io/Lists/ https://plfa.github.io/Decidable/ https://agda.github.io/agda-stdlib/v1.7.2/Data.Nat.html https://plfa.github.io/Naturals/ https://agdapad.quasicoherent.io/ https://agda.readthedocs.io/en/latest/getting-started/hello-world.html https://agda.readthedocs.io/en/latest/tools/emacs-mode.html#emacs-mode https://agda.readthedocs.io/en/v2.6.0.1/language/built-ins.html#booleans https://github.com/agda/agda https://github.com/agda/agda-language-server https://gist.github.com/bitmappergit/282a6c0507a6b1cff46372720a69845c https://github.com/laMudri/agda-practice/blob/master/Division.agda#L1 https://jozefg.bitbucket.io/posts/2014-06-28-real-world-agda.html