Block or report user

Report or block dnadales

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Pinned repositories

  1. TorXakis/TorXakis

    A tool for Model Based Testing

    Haskell 22 6

  2. sandbox

    Damian Nadales's sandbox

    Haskell 4 1

  3. TorXakis/SupportEmacs

    Support for editing TorXakis models on Emacs

    Emacs Lisp

  4. TorXakis/text-via-sockets

    Send Text lines using sockets

    Haskell 3

  5. skid

    SImple Key-value store, Impefect, but Distributed

    Haskell 2

585 contributions in the last year

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

Contribution activity

January 2019

Created a pull request in input-output-hk/cardano-chain that received 5 comments

Dnadales/update update mechanism

Allow updates in either the protocol version or software version, but requiring at least an update proposal in any of these two aspects. Remove th…

+305 −257 5 comments

Created an issue in input-output-hk/cardano-chain that received 1 comment

Add git revision in the ledger spec

This is useful to keep track of the document version. See input-output-hk/fm-ledger-rules#153

1 comment

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