Commits

Breadcrumbs

History for

one1e214b

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 16, 2021

• misc tweaks for talk

  conal

  committed
  4d092f4

  Copy full SHA for 4d092f4

Commits on Jun 3, 2021

• semantic functions

  conal

  committed
  1abe8de

  Copy full SHA for 1abe8de

Commits on May 31, 2021

• processed review comments & requirements

  conal

  committed
  11a9f60

  Copy full SHA for 11a9f60

Commits on Mar 1, 2021

• Swap "✪" and "☆"

  conal

  committed
  02442e6

  Copy full SHA for 02442e6

• switching stars

  conal

  committed
  255681e

  Copy full SHA for 255681e

Commits on Feb 28, 2021

• Use acmsmall for the public/non-anonymous version of my paper, tweaking some features

  conal

  committed
  d7d2265

  Copy full SHA for d7d2265

Commits on Feb 27, 2021

• 𝒟 ; Clarify tries as "automatic differentiation".

  conal

  committed
  74705d6

  Copy full SHA for 74705d6

Commits on Feb 22, 2021

• Use ◇ for diamond

  conal

  committed
  9188c35

  Copy full SHA for 9188c35

Commits on Feb 20, 2021

• explicit universe levels

  conal

  committed
  69f6342

  Copy full SHA for 69f6342

Commits on Feb 17, 2021

• ruleSep

  conal

  committed
  761460f

  Copy full SHA for 761460f

Commits on Feb 16, 2021

• Use Lang from Predicate instead of Language (to get properties)

  conal

  committed
  f872a5d

  Copy full SHA for f872a5d

Commits on Feb 14, 2021

• level polymorphism

  conal

  committed
  dbff872

  Copy full SHA for dbff872

Commits on Feb 13, 2021

• symbolic and automatic differentiation

  conal

  committed
  ce07b25

  Copy full SHA for ce07b25

Commits on Feb 12, 2021

• symbolic differentiation

  conal

  committed
  db02681

  Copy full SHA for db02681

• building up the paper

  conal

  committed
  2e23098

  Copy full SHA for 2e23098

• Automatic and SizedAutomatic

  conal

  committed
  da2b713

  Copy full SHA for da2b713

Loading