User:Ruud Koot: Difference between revisions
Content added Content deleted
(OBJ) |
No edit summary |
||
| Line 4: | Line 4: | ||
{{mylang|x86 Assembly|some}} |
{{mylang|x86 Assembly|some}} |
||
{{mylang|C|yes}} |
{{mylang|C|yes}} |
||
{{mylang|Java|yes}} |
|||
{{mylang|Python|some}} |
|||
{{mylang|Haskell|yes}} |
{{mylang|Haskell|yes}} |
||
{{mylang|Agda|learning}} |
{{mylang|Agda|learning}} |
||
Revision as of 19:34, 20 April 2011
| My Favorite Languages | |
| Language | Proficiency |
| x86 Assembly | some |
| C | yes |
| Java | yes |
| Python | some |
| Haskell | yes |
| Agda | learning |
| Coq | learning |
| Prolog | some |
| OBJ | to do |