Skip to content
View xtreme-james-cooper's full-sized avatar

Block or report xtreme-james-cooper

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse

Popular repositories Loading

  1. Lambda-RAM-Compiler Lambda-RAM-Compiler Public

    Isabelle 2

  2. agda-harper agda-harper Public

    Robert Harper, practical foundations for programming languages, http://www.cs.cmu.edu/~rwh/plbook/2nded.pdf

    Agda 1

  3. DependentLambda DependentLambda Public

    Rather simple enriched lambda calculus, done in Idris

    Idris 1

  4. SpaceGen SpaceGen Public

    Forked from Zarkonnen/SpaceGen

    Generator of Pulp SF Universes

    Java

  5. Harper Harper Public

    Robert Harper, practical foundations for programming languages, http://www.cs.cmu.edu/~rwh/plbook/2nded.pdf

    Isabelle

  6. agda-utils agda-utils Public

    Utility files for agda

    Agda