User:Ruud Koot: Difference between revisions

Content added Content deleted
No edit summary
(prolog)
Line 7: Line 7:
{{mylang|Agda|learning}}
{{mylang|Agda|learning}}
{{mylang|Coq|learning}}
{{mylang|Coq|learning}}
{{mylang|Prolog|some}}
{{mylangend}}
{{mylangend}}