User:Ruud Koot: Difference between revisions
Content added Content deleted
No edit summary |
No edit summary |
||
| Line 5: | Line 5: | ||
{{mylang|C|yes}} |
{{mylang|C|yes}} |
||
{{mylang|Haskell|yes}} |
{{mylang|Haskell|yes}} |
||
{{mylang|Agda| |
{{mylang|Agda|learning}} |
||
{{mylangend}} |
{{mylangend}} |
||