Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 11, 2023

• "to appear" ⟶ "appeared"

  conal

  committed
  fc7fd2b

Commits on Oct 23, 2021

• "bisumulation" --> "bisimulation"

  conal

  committed
  ca6108f

Commits on Aug 17, 2021

• Drop redundant talk link

  conal

  committed
  0691a05

• links

  conal

  committed
  76bd160

Commits on Aug 16, 2021

• talk and final responses

  conal

  committed
  e1e214b

• bib with visible URLs for publication

  conal

  committed
  eb742da

• misc tweaks for talk

  conal

  committed
  4d092f4

Commits on Jul 3, 2021

• zip

  conal

  committed
  e0ac6d0

• continuation of previous

  conal

  committed
  937f8b2

• footnote placement; page breaks; proof

  conal

  committed
  d5abe47

• move explanatory footnote 2 so as not to break across pages

  conal

  committed
  09a796e

• classifications, keywords, copyright

  conal

  committed
  d786aa9

Commits on Jul 2, 2021

• misc

  conal

  committed
  f6767c0

Commits on Jun 3, 2021

• copattern reference

  conal

  committed
  a3f33b4

• conclusions

  conal

  committed
  37cdfc8

• misc near-final tweaks

  conal

  committed
  a99b1e9

• semantic functions

  conal

  committed
  1abe8de

Commits on Jun 2, 2021

• "To appear"; Agda and agda-stdlib versions.

  conal

  committed
  b92379e

• rename

  conal

  committed
  24c6f49

• chnages in respose to reviews

  conal

  committed
  3f8a291

Commits on May 31, 2021

• unused

  conal

  committed
  a9b9379

• processed review comments & requirements

  conal

  committed
  11a9f60

Commits on May 27, 2021

• simple language examples

  conal

  committed
  6f08343

Commits on Apr 20, 2021

• ICFP 2021 reviews

  conal

  committed
  5cc88d1

Commits on Mar 3, 2021

• revert to direct paper pdf link

  conal

  committed
  8512a69

• paper link

  conal

  committed
  166d2b3

• star

  conal

  committed
  33e4930

• tiny tweaks

  conal

  committed
  ccb595e

• misc wording tweaks

  conal

  committed
  d799846

• tidying bib

  conal

  committed
  4adc4cf

• drop parens

  conal

  committed
  a79715d

• move to done

  conal

  committed
  afef434

• tidying

  conal

  committed
  138bf14

Commits on Mar 1, 2021

• finish star renaming

  conal

  committed
  b5e62cb

• Swap "✪" and "☆"

  conal

  committed
  02442e6

Pagination

PreviousNext