Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 1, 2024

• update README

  flupe

  committed
  2b8f19e

  Copy full SHA for 2b8f19e

• update to stdlib 2.0 (#11)

  flupe

  committed
  658cdf0

  Copy full SHA for 658cdf0

Commits on Sep 13, 2022

• fixed agda-stdlib version

  flupe

  committed
  e486750

  Copy full SHA for e486750

Commits on Jul 20, 2022

• fixed renamed modules

  flupe

  committed
  a97890e

  Copy full SHA for a97890e

Commits on Mar 2, 2022

• Updated Everything.agda and Makefile

  flupe

  committed
  de72c83

  Copy full SHA for de72c83

• Cleanup

  flupe

  committed
  6207db2

  Copy full SHA for 6207db2

• Improve No Confusion naming

  flupe

  committed
  3e702a8

  Copy full SHA for 3e702a8

• Added NoConfusion again, on par with stdlib

  flupe

  committed
  d861688

  Copy full SHA for d861688

Commits on Jan 10, 2022

• updated README

  flupe

  committed
  db764f8

  Copy full SHA for db764f8

• added Everything.agda, cleaned examples

  flupe

  committed
  f021299

  Copy full SHA for f021299

Commits on Jan 9, 2022

• added license

  flupe

  committed
  f213051

  Copy full SHA for f213051

Commits on Nov 18, 2021

• fixed DecEq

  flupe

  committed
  a5175d5

  Copy full SHA for a5175d5

Commits on Nov 2, 2021

• done with helpers for tel eq

  flupe

  committed
  6576969

  Copy full SHA for 6576969

Commits on Nov 1, 2021

• working on telescope equality

  flupe

  committed
  f709ca1

  Copy full SHA for f709ca1

Commits on Oct 29, 2021

• added datatype-generic congruence

  flupe

  committed
  74d9781

  Copy full SHA for 74d9781

Commits on Oct 28, 2021

• added README and Makefile

  flupe

  committed
  a7f9ce9

  Copy full SHA for a7f9ce9

• added conversion functions for mu

  flupe

  committed
  892ef8a

  Copy full SHA for 892ef8a

• now storing arg names in telescopes & descriptions

  flupe

  committed
  ffe5475

  Copy full SHA for ffe5475

• fixed datatype-generic show

  flupe

  committed
  70da093

  Copy full SHA for 70da093

• fixed reflection code with new interpretation

  flupe

  committed
  7feef60

  Copy full SHA for 7feef60

• fixed elim and fold on mu types

  flupe

  committed
  2646196

  Copy full SHA for 2646196

• experimenting with alternative interpretation

  flupe

  committed
  df93726

  Copy full SHA for df93726

• wip

  flupe

  committed
  4bef64f

  Copy full SHA for 4bef64f

• added datatype-generic fold

  flupe

  committed
  f59184b

  Copy full SHA for f59184b

• implemented generic fold on mu types

  flupe

  committed
  d02f9c2

  Copy full SHA for d02f9c2

Commits on Oct 27, 2021

• reflection code now complete

  flupe

  committed
  4db1b13

  Copy full SHA for 4db1b13

• refactored reflection, only missing wf

  flupe

  committed
  ae9c65c

  Copy full SHA for ae9c65c

• fixed safe decidable equality

  flupe

  committed
  6055447

  Copy full SHA for 6055447

• refactored case & elim

  flupe

  committed
  0e790cc

  Copy full SHA for 0e790cc

• working eliminator

  flupe

  committed
  6038da8

  Copy full SHA for 6038da8

Commits on Oct 26, 2021

• testing accessibility predicate

  flupe

  committed
  dd954e0

  Copy full SHA for dd954e0

Commits on Oct 19, 2021

• renaming things

  flupe

  committed
  5b9f58c

  Copy full SHA for 5b9f58c

Commits on Oct 18, 2021

• kinda working universe-polymorphism

  flupe

  committed
  f52ef0f

  Copy full SHA for f52ef0f

Commits on Oct 15, 2021

• added README.agda

  flupe

  committed
  2f7ddc6

  Copy full SHA for 2f7ddc6

Commits on Oct 14, 2021

• Testing computational behaviour of eliminator for Nat

  

  jespercockx

  authored and

  flupe

  committed
  a80164d

  Copy full SHA for a80164d

Pagination

Previous

Next