Anonymous user
User:Ruud Koot: Difference between revisions
no edit summary
No edit summary |
No edit summary |
||
Line 6:
{{mylang|Haskell|yes}}
{{mylang|Agda|learning}}
{{mylang|Coq|learning}}
{{mylangend}}
|
No edit summary |
No edit summary |
||
Line 6:
{{mylang|Haskell|yes}}
{{mylang|Agda|learning}}
{{mylang|Coq|learning}}
{{mylangend}}
|