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