Block or report user

Report or block LightAndLight

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Popular repositories

  1. idris-but-its-c

    Idris, but it's C

    Idris 18

  2. lambdapi

    Educational implementation of dependent types

    Haskell 11 3

  3. parametricity-proofs

    Proofs of the number of inhabitants of polymorphic functions

    Haskell 11

  4. meta-lambda

    Lambda Calculus with quote and unquote

    Haskell 9

  5. eden

    Experimenting with GHC's Backpack technology to create modular programming language representations

    Haskell 6

  6. stg-llvm

    Attempting to compile STG to LLVM

    Haskell 6

967 contributions in the last year

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

Contribution activity

July 2018

Created a pull request in qfpl/digit that received 2 comments

More datatypes + easier imports + prettier docs

+1,415 −3,241 2 comments

Created an issue in data61/fp-course that received 1 comment

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