Revision as of 23:08, 10 March 2011 (view source) rosettacode>Ruud Koot No edit summary ← Older edit		Revision as of 23:27, 10 March 2011 (view source) rosettacode>Ruud Koot (prolog) Newer edit →
Line 7: {{mylang\|Agda\|learning}} {{mylang\|Coq\|learning}} {{mylang\|Prolog\|some}} {{mylangend}}

User:Ruud Koot: Difference between revisions

User:Ruud Koot (view source)