Skip to content


Block or Report

Block or report conal

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories

  1. A keynote talk for LambdaJam 2015 (July 15--16)

    TeX 396 24

  2. The simple essence of automatic differentiation

    TeX 188 6

  3. Convert lambda expressions to CCC combinators

    Haskell 141 20

  4. Talk material for LambdaJam 2014/2015 on denotational design

    TeX 114 5

  5. Denotational Design: from programs to meanings

    TeX 98

  6. Denotational hardware design in Agda

    Agda 80 7

374 contributions in the last year

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

Contribution activity

August 2022

Created 1 commit in 1 repository

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