User:Ruud Koot: Difference between revisions
Content added Content deleted
No edit summary |
(prolog) |
||
Line 7:
{{mylang|Agda|learning}}
{{mylang|Coq|learning}}
{{mylang|Prolog|some}}
{{mylangend}}
|
No edit summary |
(prolog) |
||
Line 7:
{{mylang|Agda|learning}}
{{mylang|Coq|learning}}
{{mylang|Prolog|some}}
{{mylangend}}
|
My Favorite Languages | |
Language | Proficiency |
x86 Assembly | some |
C | yes |
Haskell | yes |
Agda | learning |
Coq | learning |
Prolog | some |