Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Commits on May 21, 2015
  1. @Ingo60

    Merge pull request #148 from gitter-badger/gitter-badge

    Ingo60 authored
    Add a Gitter chat badge to README.md
Commits on May 6, 2015
  1. @Ingo60
Commits on May 3, 2015
  1. @Ingo60
  2. @Ingo60

    unlock 2 problems

    Ingo60 authored
  3. @Ingo60

    removed

    Ingo60 authored
Commits on May 2, 2015
  1. @Ingo60

    rename Gen78 to GenCode

    Ingo60 authored
Commits on May 1, 2015
  1. @Ingo60
  2. @Ingo60

    separate former pass 7

    Ingo60 authored
  3. @Ingo60
  4. @Ingo60

    FuncXXX<R> classes

    Ingo60 authored
  5. @Ingo60
  6. @Ingo60
  7. @Ingo60
  8. @Ingo60

    adapt compiler for TreeMap

    Ingo60 authored
  9. @Ingo60
Commits on Apr 29, 2015
  1. @Ingo60

    shadow update

    Ingo60 authored
  2. @Ingo60
Commits on Apr 28, 2015
  1. @Ingo60

    shadow update

    Ingo60 authored
  2. @Ingo60

    further char properties

    Ingo60 authored
Commits on Apr 27, 2015
  1. @Ingo60
  2. @Ingo60

    refresh Frege.fr

    Ingo60 authored
  3. @Ingo60
Commits on Apr 23, 2015
  1. @Ingo60

    save memory on leaf nodes

    Ingo60 authored
  2. @Ingo60

    hide Prelude.for

    Ingo60 authored
Commits on Apr 22, 2015
  1. @Ingo60

    added filtering

    Ingo60 authored
  2. @Ingo60

    added maps and traversals

    Ingo60 authored
Commits on Apr 21, 2015
  1. @Ingo60

    shadow update

    Ingo60 authored
  2. @Ingo60

    move (!!) to Data.List

    Ingo60 authored
  3. @Ingo60
Commits on Apr 20, 2015
  1. @Ingo60

    added adjust to TreeMap

    Ingo60 authored
Commits on Apr 19, 2015
  1. @Ingo60

    added (git diff) to TreeMap

    Ingo60 authored
Commits on Apr 17, 2015
  1. @Ingo60

    added member and lookupDefault

    Ingo60 authored
Commits on Apr 16, 2015
  1. @Ingo60
  2. @Ingo60

    use smaller HashMaps for tests

    Ingo60 authored
  3. @Ingo60

    added folds to TreeMap

    Ingo60 authored
Something went wrong with that request. Please try again.