Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on May 27, 2017

• a quick and dirty fix to make the library type check with Agda 2.5.2

  effectfully

  committed
  3da2a48

  Copy full SHA for 3da2a48

Commits on Sep 14, 2016

• var i₁ , q₁ ≅e var i₂ , q₂ = top

  effectfully

  committed
  6e78759

  Copy full SHA for 6e78759

Commits on Aug 16, 2016

• LookupViaElim

  effectfully

  committed
  1e8319e

  Copy full SHA for 1e8319e

Commits on Aug 15, 2016

• observe, fixed an error in _≅e_

  effectfully

  committed
  4b3966d

  Copy full SHA for 4b3966d

• vlookup

  effectfully

  committed
  ad0450c

  Copy full SHA for ad0450c

Commits on Jul 12, 2016

• a typo

  effectfully

  committed
  347926a

  Copy full SHA for 347926a

• a link

  effectfully

  committed
  1e435e0

  Copy full SHA for 1e435e0

• a thinko

  effectfully

  committed
  4c64079

  Copy full SHA for 4c64079

• cosmetic changes

  effectfully

  committed
  7df5195

  Copy full SHA for 7df5195

• desc₋₁

  effectfully

  committed
  75542d1

  Copy full SHA for 75542d1

• fully reified MetaLevels, Type₋₁

  effectfully

  committed
  5149483

  Copy full SHA for 5149483

Commits on Jun 21, 2016

• removed the erasing eliminator

  effectfully

  committed
  efbc6b4

  Copy full SHA for efbc6b4

Commits on Jun 20, 2016

• removed redundant argument

  effectfully

  committed
  1d70a9f

  Copy full SHA for 1d70a9f

• all eliminators

  effectfully

  committed
  936430d

  Copy full SHA for 936430d

Commits on Jun 17, 2016

• simplified elim

  effectfully

  committed
  e62870f

  Copy full SHA for e62870f

• Function/Elim.agda

  effectfully

  committed
  17f3ee4

  Copy full SHA for 17f3ee4

Commits on Jun 13, 2016

• Lib/Heteroindexed.agda

  effectfully

  committed
  be2a0a1

  Copy full SHA for be2a0a1

• deleted

  effectfully

  committed
  d4516a1

  Copy full SHA for d4516a1

• no pragmas in equality checking

  effectfully

  committed
  4ff0780

  Copy full SHA for 4ff0780

Commits on Jun 12, 2016

• decidable equality

  effectfully

  committed
  54661db

  Copy full SHA for 54661db

• updated Property/Eq.agda

  effectfully

  committed
  56d705b

  Copy full SHA for 56d705b

Commits on Jun 11, 2016

• derivable partially decidable equality

  effectfully

  committed
  5fe2e88

  Copy full SHA for 5fe2e88

Commits on Jun 10, 2016

• Data/Lift.agda

  effectfully

  committed
  bd9be87

  Copy full SHA for bd9be87

• typos

  effectfully

  committed
  5f8be2f

  Copy full SHA for 5f8be2f

• readme

  effectfully

  committed
  299526c

  Copy full SHA for 299526c

• readme

  effectfully

  committed
  639241e

  Copy full SHA for 639241e

Commits on Jun 9, 2016

• a link

  effectfully

  committed
  bde8211

  Copy full SHA for bde8211

• a typo

  effectfully

  committed
  d04a6e2

  Copy full SHA for d04a6e2

• desc, no extend

  effectfully

  committed
  328f988

  Copy full SHA for 328f988

• Data/Fin.agda

  effectfully

  committed
  a202b53

  Copy full SHA for a202b53

• a forgotten dot

  effectfully

  committed
  7cdbd2e

  Copy full SHA for 7cdbd2e

• removed instance mess

  effectfully

  committed
  59a4e66

  Copy full SHA for 59a4e66

Commits on Jun 8, 2016

• Examples/Favourite.agda

  effectfully

  committed
  a09998d

  Copy full SHA for a09998d

• Data/List.agda

  effectfully

  committed
  1917dc1

  Copy full SHA for 1917dc1

• handled forgotten undefined

  effectfully

  committed
  1656036

  Copy full SHA for 1656036

Pagination

Previous

Next