Block or report user

Report or block pdorrell

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Popular repositories

  1. melody_scripter

    Parser and compiler for MelodyScript, a DSL for writing melodies with chords.

    Python 33 2

  2. rules-editing-mode

    An Emacs mode for editing Drools rules engine source files

    Emacs Lisp 7 4

  3. keevalbak

    Python backup classes to backup files to key/value store, such as Amazon S3

    Python 5 1

  4. style-adjuster

    In-page CSS style adjustment UI

    JavaScript 4 1

  5. tenblocks

    TenBlocks applet

    Java 3 1

  6. emacs-site-lisp

    My GNU Emacs site-lisp directory

    Emacs Lisp 3

3 contributions in the last year

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

Contribution activity

April - August 2018

pdorrell has no activity yet for this period.

March 2018

Created a pull request in fmota/HoTT-Idris that received 2 comments

Adding Idris files for HOTT using postulated identity type

Francisco, I have added some files to explore the possibility that postulating ~~, refl_ and J might allow univalence to be postulated in Idris wit…

+409 −16 2 comments

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