🌍
Compiler Engineer
-
Huawei UK R&D
- Cambridge, UK
-
18:37
(UTC +01:00) - https://stevenvar.github.io/
Block or Report
Block or report stevenvar
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories
-
-
EquivalenceChecking
EquivalenceChecking PublicPrototype for equivalence checking of two ML programs
OCaml 2
-
CIS194-upenn-Haskell
CIS194-upenn-Haskell PublicSolutions for CIS194 (2015) homework assignments
Haskell
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.