rohanjr - Overview
Navigation Menu
Popular repositories Loading
-
Proof of normalization for a simply-typed lambda calculus with Mendler-style recursion.
Coq
-
Functional trie implementations (mutable and immutable)
OCaml
-
Solutions to problems from Facebook Hacker Cup 2017 Qualification Round
OCaml