User:Ruud Koot: Difference between revisions
Content added Content deleted
(prolog) |
(OBJ) |
||
| Line 8: | Line 8: | ||
{{mylang|Coq|learning}} |
{{mylang|Coq|learning}} |
||
{{mylang|Prolog|some}} |
{{mylang|Prolog|some}} |
||
{{mylang|OBJ|to do}} |
|||
{{mylangend}} |
{{mylangend}} |
||
Revision as of 23:30, 10 March 2011
| My Favorite Languages | |
| Language | Proficiency |
| x86 Assembly | some |
| C | yes |
| Haskell | yes |
| Agda | learning |
| Coq | learning |
| Prolog | some |
| OBJ | to do |