Mega Man

http://logicandtypes.org

I am very interested in languages like Haskell, Agda or idris, and type theory in general