Recovering academic. Current Googler.
- Aarhus, Denmark
- http://sstrickl.net
Highlights
- Pro
Popular repositories Loading
-
-
matcher
matcher PublicForked from dart-lang/matcher
A declarative API for specifying expectations.
Dart 1
-
lc-tc-interp
lc-tc-interp PublicExample typechecker and interpreter for the lambda calculus extended with numeric operations.
OCaml
-
-
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.