Block or report user

Report or block epost

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse


@statebox @CategoricalData @typedefs @PetriNets @shinsetsu-nl

Pinned repositories

  1. psc-ide-emacs

    Emacs integration for PureScript's psc-ide tool.

    Emacs Lisp 98 22

  2. purescript-node-postgres

    PureScript bindings for node-postgres.

    PureScript 19 7

  3. c64-game

    A horizontal space shooter for Commodore 64.

    Assembly 13 2

  4. purescript-any-db

    PureScript Bindings for the node-any-db library.

    PureScript 8 5

  5. purescript-free-turtle

    A demonstration of a Turtle interpreter based on the Free monad, with HTML Canvas graphics support.

    PureScript 8 2

  6. purescript-datalog-parsers

    Parsers for Prolog, Datomic, and various other Datalog varieties.

    PureScript 3

205 contributions in the last year

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

Contribution activity

October 2018

Created a pull request in typedefs/typedefs that received 1 comment

Created an issue in typedefs/typedefs that received 3 comments

Compilation problem

Hey folks, nix-shell -A typedefs-parser-js gives me the following, any ideas where this comes from? Type checking ./Parse.idr Parse.idr:62:13: | 62…


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