Anonymous user
User:Ruud Koot: Difference between revisions
no edit summary
(c/e) |
No edit summary |
||
Line 5:
{{mylang|Python|some}}
{{mylang|Haskell|yes}}
{{mylang|Agda|
{{mylang|Coq|
{{mylang|Prolog|some}}
{{mylang|OBJ|to do}}
| |||
(c/e) |
No edit summary |
||
Line 5:
{{mylang|Python|some}}
{{mylang|Haskell|yes}}
{{mylang|Agda|
{{mylang|Coq|
{{mylang|Prolog|some}}
{{mylang|OBJ|to do}}
| |||