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.
4 Seeking help to understand a simple Kripke model Oct 8 '14
3 Does monotonicity imply surjectivity? Nov 11 '14
1 How is “at most one arrow” used to proof a special category gives rise to a preorder set? Apr 2 '14