User:Ruud Koot: Difference between revisions

Content added Content deleted
No edit summary
No edit summary
Line 6: Line 6:
{{mylang|Haskell|yes}}
{{mylang|Haskell|yes}}
{{mylang|Agda|learning}}
{{mylang|Agda|learning}}
{{mylang|Coq|learning}}
{{mylangend}}
{{mylangend}}