Skip to content


  • Pro


Block or Report

Block or report andorp

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. Idris version of Domain Modeling Made Functional Book.

    Idris 119 9

  2. ICFP tutorial

    Haskell 40 5

  3. TaPL Public

    TaPL implementation bits in Idris2

    Idris 11 1

  4. bead Public

    E-learning snap based server for special teaching purposes

    Haskell 8 3

  5. pearls Public

    Some functional pearls from time to time

    Haskell 8

140 contributions in the last year

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

Contribution activity

November 2022

Created an issue in idris-lang/Idris2 that received 4 comments

[ parser ] Already defined message points to module keyword.

Steps to Reproduce Compiling this program: module Issues.AlreadyDefinedRec record SomeRecord where constructor SomeRecord field : Int Expected Beh…

Opened 1 other issue in 1 repository

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