Anonymous user
User:Ruud Koot: Difference between revisions
prolog
No edit summary |
(prolog) |
||
Line 7:
{{mylang|Agda|learning}}
{{mylang|Coq|learning}}
{{mylang|Prolog|some}}
{{mylangend}}
|
No edit summary |
(prolog) |
||
Line 7:
{{mylang|Agda|learning}}
{{mylang|Coq|learning}}
{{mylang|Prolog|some}}
{{mylangend}}
|