Block or report user

Popular repositories

  1. NNGS_SGF_Archive

    All Games ever played on the No Name Go Server (First commit contains the original files, later may enhance their compatibility with SGF standard).

    6 1

  2. MinimalWebAudio

    Minimal examples for the use of the Web Audio API (audio in the browser with just JavaScript). Minimal in the sense of easy to understand.

    HTML 2 1


    Personal page.


  4. clex-1

    CLojure EXplore, well, just exploring ..

    Clojure 1

  5. emacs-simple-slides

    Forked from joodie/emacs-simple-slides

    Simple slide (presentation) mode for emacs

    Emacs Lisp

  6. ob-emacs-fun

    Emacs Lisp

5 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

July 2017

zenon has no activity yet for this period.

June 2017

Created an issue in idris-lang/Idris-dev that received 7 comments

Function doesn't reduce

Hi, in the below code, the result of a function call is not reduced to normal form, but when I try the computation in the REPL, it works fine. Is t…

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