[temp] 一堆還沒看的網頁

[agda 教學]
http://www.cs.nott.ac.uk/~txa/g53cfr/
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=ReferenceManual.Modules
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=ReferenceManual.Records

[types in agda]

http://wiki.portal.chalmers.se/agda/pmwiki.php?n=ReferenceManual.SimpleInductiveTypes

http://wiki.portal.chalmers.se/agda/pmwiki.php?n=ReferenceManual.ParameterizedInductiveTypes

http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.UniversePolymorphism

[category]
http://www.haskell.org/haskellwiki/Category_theory
http://en.wikibooks.org/wiki/Haskell/Category_theory

[monad]
http://www.haskell.org/haskellwiki/Category_theory/Monads
http://en.wikibooks.org/wiki/Haskell/Understanding_monads

[monad transformer]
http://en.wikibooks.org/wiki/Haskell/Monad_transformers
http://conway.rutgers.edu/~ccshan/wiki/blog/posts/Monad_transformers/
http://www.randomhacks.net/articles/2007/03/05/three-things-i-dont-understand-about-monads
https://github.com/copumpkin/categories/