Block or report user

Organizations

@idris-hackers @idris-lang @itu-square

Popular repositories

  1. well-typed-agda-interpreter

    A well typed interpreter for the simply-typed lambda calculus written in Agda

    Agda 8 1

  2. qsort-inline

    Apple's qsort implementation with support for inlined comparison (by macros)

    C++ 4

  3. fflat-mdsliterals

    Extension of Fb with support for modular structured data literals (like XML, JSON, YAML etc.)

    F# 2

  4. Tools-and-tactics-for-Idris---report

    Report and Information for M.Sc. 3rd semester project on rewriting Idris parser and introducing a proof tactic for induction

    TeX 1

  5. MSc-Thesis

    MSc Thesis on practical levitation

    TeX 1

  6. fflat

    The Fb programming language

    F# 1

420 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

Created an issue in usethesource/rascal-syntax-highlighting that received 1 comment

Problems with highlighting of regular expression literals and division

I discovered the issue while I was doing something else. First of all there is a small bug in the grammar which was unnoticed: Which is that in the r…

16 contributions in private repositories Jul 4 – Jul 13

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