Block or report user

Report or block nobrakal

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Popular repositories

  1. alga-tutorial-newfashion

    An alga tutorial

    Haskell 3

  2. TheBlackCurse

    Simple game written in Haskell using curses

    Haskell 1

  3. coq-alga

    A bit of coq-proven alga

    Makefile 1

  4. crearemundum

    French poject for an opensource role playing world, covering different periods


  5. engrenages

    Système de chat décentralisé

    Python 1

  6. testCom

    Write your tests in comments

    Haskell 1

1,185 contributions in the last year

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

Contribution activity

December 2018

Created a pull request in tuura/build-systems-in-coq that received 1 comment

A working busyFetch

Please excuse bad formatting and poor lemma's names ^^

+63 −70 1 comment

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