Block or report user

Pinned repositories

  1. conreactor

    Constraints Reactor -- implementation of CHR semantics with support for terms and unification


  2. constraints-typechecking

    Type Checking with Constraint Rules

  3. lambdacalc

    Demo of using the typechecking with constraint rules

  4. typechecking-lambdacalc

    Introductory article on type checking with constraint rules

322 contributions in the last year

Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Mon Wed Fri

Contribution activity First pull request First issue First repository Joined GitHub

August 2017

Seeing something unexpected? Take a look at the GitHub profile guide.