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}} |