Revision as of 23:02, 10 March 2011 (view source) rosettacode>Ruud Koot No edit summary ← Older edit		Revision as of 23:08, 10 March 2011 (view source) rosettacode>Ruud Koot No edit summary Newer edit →
Line 6: {{mylang\|Haskell\|yes}} {{mylang\|Agda\|learning}} {{mylang\|Coq\|learning}} {{mylangend}}

User:Ruud Koot (view source)