Block or report user



Popular repositories

  1. dynamic-loader

    Lightweight Haskell dynamic loading library originally written by Copyright © 2004 Hampus Ram.

    Haskell 25 3

  2. leleka

    Trainer für Lelê

    Haskell 4 1

  3. omega

    Automatically exported from

    Haskell 3

  4. seminar-opetope

    Short Intro to Opetopes

    Awk 2 1

  5. gdiff

    Forked from eelco/gdiff

    Haskell 2 1

  6. Blog

    Forked from DanBurton/Blog

    It's a blog. Insert clever Haskell type signature here.

    Haskell 1

457 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

May 2017

Created a pull request in HeinrichApfelmus/reactive-banana that received 2 comments


Created an issue in agda/agda that received 4 comments

Cpphs not installed when installing Agda on Haskell Platform

Installation of agda-2.5.2 just failed on a freshly installed Haskell Platform 8.0.2 (full). Maybe the dependency to cpphs is not correctly declare…

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