Block or report user
  • Joined on Mar 29, 2010

Popular repositories

  1. restas-colorize

    Forked from archimag/restas-colorize

    pastebin plugin for RESTAS application server

    Common Lisp 2 1

  2. restas

    Forked from archimag/restas

    Common Lisp application server

    Common Lisp 2

  3. Postmodern

    Forked from marijnh/Postmodern

    A Common Lisp PostgreSQL programming interface

    Common Lisp 2

  4. lrefal

    Common Lisp 1 1

  5. lweb

    Common Lisp 1

  6. colorize

    Forked from archimag/colorize

    colorize

    Common Lisp 1 1

2 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

July - December 2016

paul7 has no activity yet for this period.

June 2016

Created an issue in githwxi/ATS-Postiats that received 1 comment

Negating predicates on reals

The constraint solver doesn't seem to be aware of relations between constraints on reals. E.g. it doesn't know that (a == b) is equivalent to ~(a !…

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