Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 1, 2023

• [ tex ] Add a patched agda.fmt for lhs2TeX

  L-TChen

  committed
  7ead762

  Copy full SHA for 7ead762

Commits on Aug 4, 2022

• [ tex ] Reference to Zenodo

  josh-hs-ko

  committed
  e026582

  Copy full SHA for e026582

Commits on Jul 25, 2022

• [ tex ] Squeeze acks into p27

  josh-hs-ko

  committed
  29421ec

  Copy full SHA for 29421ec

Commits on Jul 21, 2022

• Update README.md

  Zekt

  authored
  704e5f4

  Copy full SHA for 704e5f4

• [ update ] README

  Zekt

  committed
  b4afb29

  Copy full SHA for b4afb29

• [ update ] mapping from the files to the main text in README

  Zekt

  committed
  9d8317f

  Copy full SHA for 9d8317f

Commits on Jul 14, 2022

• [ tex ] Release candidate

  josh-hs-ko

  committed
  63a9db9

  Copy full SHA for 63a9db9

• Reverse S4.2

  L-TChen

  committed
  53924bd

  Copy full SHA for 53924bd

• Minor wording improvements

  L-TChen

  committed
  db29717

  Copy full SHA for db29717

Commits on Jul 9, 2022

• [ tex ] Update format and metadata

  josh-hs-ko

  committed
  277ecdb

  Copy full SHA for 277ecdb

Commits on Jul 7, 2022

• [ tex ] (Almost) final revisions

  josh-hs-ko

  committed
  ba5a80d

  Copy full SHA for ba5a80d

Commits on Jun 30, 2022

• [ tex ] Revised the discussion section

  josh-hs-ko

  committed
  96b1403

  Copy full SHA for 96b1403

• Update README regarding the memory consumption

  L-TChen

  committed
  5fa1210

  Copy full SHA for 5fa1210

• [ ci ] I hate yaml

  L-TChen

  committed
  b9b0c65

  Copy full SHA for b9b0c65

• Trigger CI if any patch is modified or added

  L-TChen

  committed
  cb33e10

  Copy full SHA for cb33e10

• Update the patch

  L-TChen

  committed
  763cf1b

  Copy full SHA for 763cf1b

Commits on Jun 28, 2022

• [ ci ] Hope to fix the cache key

  L-TChen

  committed
  cf89ac3

  Copy full SHA for cf89ac3

• [ ci ] GitHub workflow is the worst language ever.

  L-TChen

  committed
  2641472

  Copy full SHA for 2641472

• [ ci ] Try to fix the cache key again ...

  L-TChen

  committed
  6aebb81

  Copy full SHA for 6aebb81

• [ ci ] Fix cache hash

  L-TChen

  committed
  8c10417

  Copy full SHA for 8c10417

• [ update ] Use overloaded constructor names

  L-TChen

  committed
  ba46aca

  Copy full SHA for ba46aca

• [ new ] Add a new make target listings

  L-TChen

  committed
  467120b

  Copy full SHA for 467120b

• [ refactor ] Remove HTMLs

  L-TChen

  committed
  6c2d0e7

  Copy full SHA for 6c2d0e7

• Place a warning in the beginning of Everything

  L-TChen

  committed
  c37adfc

  Copy full SHA for c37adfc

Commits on Jun 27, 2022

• [ update ] Use GHC 8.10.7 and a more recent patch

  L-TChen

  committed
  b7db1cc

  Copy full SHA for b7db1cc

• [ ci ] Update the GitHub workflow script

  L-TChen

  committed
  46eef7d

  Copy full SHA for 46eef7d

• [ update ] Remove the patch for fixing the universe level issue

  L-TChen

  committed
  3f3b1d5

  Copy full SHA for 3f3b1d5

Commits on Jun 24, 2022

• [ update ] Adopt to the new defineData

  L-TChen

  committed
  5170642

  Copy full SHA for 5170642

Commits on Jun 17, 2022

• [ tex ] Revised version

  josh-hs-ko

  committed
  8360ef4

  Copy full SHA for 8360ef4

Commits on Jun 16, 2022

• [ tex ] Revision of S6

  josh-hs-ko

  committed
  9740d36

  Copy full SHA for 9740d36

• [ tex ] Revisions up to S5

  josh-hs-ko

  committed
  1fb2456

  Copy full SHA for 1fb2456

Commits on Jun 15, 2022

• [ tex ] S1 & abstract

  josh-hs-ko

  committed
  ac7c081

  Copy full SHA for ac7c081

Commits on Jun 13, 2022

• [ tex ] S2–5

  josh-hs-ko

  committed
  5d9e730

  Copy full SHA for 5d9e730

Commits on Jun 12, 2022

• [ tex ] Roughly halfway through the revision

  josh-hs-ko

  committed
  f026153

  Copy full SHA for f026153

Commits on Jun 1, 2022

• [ add ] make targets for benchmarks of definitions

  Zekt

  committed
  8856b12

  Copy full SHA for 8856b12

Pagination

Previous

Next