User:Ruud Koot: Difference between revisions

Content added Content deleted
(c/e)
No edit summary
 
Line 5: Line 5:
{{mylang|Python|some}}
{{mylang|Python|some}}
{{mylang|Haskell|yes}}
{{mylang|Haskell|yes}}
{{mylang|Agda|learning}}
{{mylang|Agda|some}}
{{mylang|Coq|learning}}
{{mylang|Coq|some}}
{{mylang|Prolog|some}}
{{mylang|Prolog|some}}
{{mylang|OBJ|to do}}
{{mylang|OBJ|to do}}