Anonymous user
User:Ruud Koot: Difference between revisions
OBJ
(prolog) |
(OBJ) |
||
Line 8:
{{mylang|Coq|learning}}
{{mylang|Prolog|some}}
{{mylang|OBJ|to do}}
{{mylangend}}
|
(prolog) |
(OBJ) |
||
Line 8:
{{mylang|Coq|learning}}
{{mylang|Prolog|some}}
{{mylang|OBJ|to do}}
{{mylangend}}
|