Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 22, 2013

• something strange

  MAnyKey

  committed
  f2f7a5a

  Copy full SHA for f2f7a5a

• fusion: average

  MAnyKey

  committed
  830fe20

  Copy full SHA for 830fe20

Commits on Dec 20, 2012

• agda part 1

  MAnyKey

  committed
  0ffb3e0

  Copy full SHA for 0ffb3e0

Commits on Oct 27, 2012

• REPL completed

  MAnyKey

  committed
  419ab88

  Copy full SHA for 419ab88

• Monstupar completed

  MAnyKey

  committed
  a05c436

  Copy full SHA for a05c436

• some fixes

  MAnyKey

  committed
  924de3d

  Copy full SHA for 924de3d

Commits on Oct 26, 2012

• added parser bunch

  MAnyKey

  committed
  b2026e0

  Copy full SHA for b2026e0

• sync with jan repo, added some proofs, State, IO

  MAnyKey

  committed
  bd6e780

  Copy full SHA for bd6e780

Commits on Oct 21, 2012

• small bugfix

  MAnyKey

  committed
  70bcf8b

  Copy full SHA for 70bcf8b

• some proofs and rename Category to Categories module

  MAnyKey

  committed
  e704a44

  Copy full SHA for e704a44

• mv category

  MAnyKey

  committed
  c6a1ea1

  Copy full SHA for c6a1ea1

Commits on Oct 17, 2012

• hw5: monads, some problems

  MAnyKey

  committed
  394db07

  Copy full SHA for 394db07

Commits on Oct 6, 2012

• added category typeclasses

  MAnyKey

  committed
  22cedc3

  Copy full SHA for 22cedc3

Commits on Oct 4, 2012

• hw4: algebraic typeclasses

  MAnyKey

  committed
  5c7b2d0

  Copy full SHA for 5c7b2d0

• pull from jan repo

  MAnyKey

  committed
  dc686f5

  Copy full SHA for dc686f5

• added de brujin representation

  MAnyKey

  committed
  44549f7

  Copy full SHA for 44549f7

• moved to right dir

  MAnyKey

  committed
  1c7dc26

  Copy full SHA for 1c7dc26

Commits on Sep 27, 2012

• Lambda moved to another dir

  MAnyKey

  committed
  1440c2c

  Copy full SHA for 1440c2c

Commits on Sep 26, 2012

• tree rotations

  MAnyKey

  committed
  63853f6

  Copy full SHA for 63853f6

Commits on Sep 22, 2012

• tree and (unknown) lambda

  MAnyKey

  committed
  4a8a753

  Copy full SHA for 4a8a753

Commits on Sep 20, 2012

• pull changes from jan repo

  MAnyKey

  committed
  bdb6a64

  Copy full SHA for bdb6a64

Commits on Sep 19, 2012

• lists

  MAnyKey

  committed
  45c45fd

  Copy full SHA for 45c45fd

• Primitives

  MAnyKey

  committed
  bc99917

  Copy full SHA for bc99917

• initial commit, without homework

  MAnyKey

  committed
  f7020ed

  Copy full SHA for f7020ed