I'm an enthusiast of programing languages, especially functional programming. Familiar with Haskell, F#, Clojure and also enjoying writing code in many other programming languages. Currently CS graduate student in UMD.
1 How is “at most one arrow” used to proof a special category gives rise to a preorder set? apr 2 '14