Block or report user

Popular repositories

  1. flint2

    Forked from wbhart/flint2

    playing around with flint2

    0 C

  2. stacks-project

    Forked from stacks/stacks-project

    Repository for the Stacks Project

    0 Python

  3. maeda

    0 TeX

  4. wiwinwlh

    Forked from sdiehl/wiwinwlh

    What I Wish I Knew When Learning Haskell

    0 Haskell

  5. vector-test

    Forked from martinra/vector-test

    0 Haskell

  6. natural-test

    Forked from martinra/natural-test

    0 Haskell

105 contributions in the last year

Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Mon Wed Fri
Learn how we count contributions.
Less
More

Contribution activity First pull request First issue Joined GitHub

June - September 2016

aghitza has no activity yet for this period.

May 2016

Created 31 commits in 3 repositories

martinra/hlinear 16 commits
aghitza/hlinear-example 14 commits
martinra/hflint 1 commit

Created 1 repository

aghitza created their first issue!

First issue

stack build fails (linker error) on hlinear with lts-5.17 and higher (works with lts-5.16) Opened in martinra/hlinear on
9 contributions in private repositories May 4 – May 24

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