Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 21, 2023

• style: remove the last List.rev

  favonia

  committed
  b39bf29

  Copy full SHA for b39bf29

Commits on Oct 3, 2023

• docs(CONTRIBUTORS): actually use Markdown

  favonia

  committed
  a5eaf4d

  Copy full SHA for a5eaf4d

Commits on Sep 25, 2023

• docs(CONTRIBUTORS): add Solomon Bothwell (#405)

  favonia

  authored
  45c02d3

  Copy full SHA for 45c02d3

Commits on Sep 4, 2023

• 🐛 🚫 Add #debug (#396)

  Show description for a4c1043
  TOTBWF

  authored
  a4c1043

  Copy full SHA for a4c1043

• Bump actions/checkout from 3 to 4 (#404)

  Show description for 18a00e1
  dependabot[bot]

  authored
  18a00e1

  Copy full SHA for 18a00e1

• Fixes flake.nix (#403)

  Show description for ce1ba90
  solomon-b

  authored
  ce1ba90

  Copy full SHA for ce1ba90

Commits on Aug 30, 2023

• build: use bwd 2.2

  favonia

  committed
  081eae8

  Copy full SHA for 081eae8

• build: upgrade kado

  favonia

  committed
  5cf02b5

  Copy full SHA for 5cf02b5

Commits on Aug 29, 2023

• 📔 Fix README

  favonia

  committed
  9614ff4

  Copy full SHA for 9614ff4

• 👹 Worship Yuujinchou 5.0

  favonia

  committed
  a5893cf

  Copy full SHA for a5893cf

Commits on Jun 30, 2023

• 🔭 Telescope Refactor (#402)

  TOTBWF

  authored
  4e48456

  Copy full SHA for 4e48456

Commits on Mar 27, 2023

• correcting grant number in README (#401)

  cangiuli

  authored
  a533e1d

  Copy full SHA for a533e1d

Commits on Jan 1, 2023

• 📡 Update the bwd dependency and fix all warnings (#399)

  favonia

  authored
  19f9a76

  Copy full SHA for 19f9a76

Commits on Nov 27, 2022

• 📝 Update test cases

  favonia

  committed
  64621b2

  Copy full SHA for 64621b2

Commits on Aug 11, 2022

• 📝 Update outdated reference to Cubical in comment (#398)

  

  ecavallo

  authored and

  favonia

  committed
  e4b7e65

  Copy full SHA for e4b7e65

Commits on Jul 9, 2022

• 💻 Cooltt Server (#278)

  Show description for 9e37da9
  

  5 peopleauthored
  9e37da9

  Copy full SHA for 9e37da9

Commits on Jul 8, 2022

• 🪄 New hcom syntax with inference (#386)

  Show description for 22901ce
  

  ralsei

  and

  jonsterling

  authored
  22901ce

  Copy full SHA for 22901ce

Commits on Jul 7, 2022

• ❄️ Add building with Nix as an option (#392)

  Show description for 4298811
  ralsei

  authored
  4298811

  Copy full SHA for 4298811

• 🪜 Refactor HLevel code using records (#391)

  Show description for d8d8ba9
  mmcqd

  authored
  d8d8ba9

  Copy full SHA for d8d8ba9

Commits on Jul 3, 2022

• 💿 Bring Record Types (nearly) to Parity with the OCaml Module System (#388)

  Show description for 293df34
  

  mmcqd

  and

  jonsterling

  authored
  293df34

  Copy full SHA for 293df34

Commits on Jun 22, 2022

• 📖 add better record syntax, improve pretty printing (#380)

  Show description for c7126ac
  

  3 peopleauthored
  c7126ac

  Copy full SHA for c7126ac

Commits on Jun 19, 2022

• 🤫 Support silent holes, closing #86 (#339)

  favonia

  authored
  505c319

  Copy full SHA for 505c319

Commits on Jun 13, 2022

• Quick explainer on Cartesian coercion. (#383)

  Show description for 46a0bd0
  cangiuli

  authored
  46a0bd0

  Copy full SHA for 46a0bd0

Commits on Jun 12, 2022

• 🙅 Delete true cofibration splits when quoting (#385)

  Show description for 01d194f
  mmcqd

  authored
  01d194f

  Copy full SHA for 01d194f

Commits on Jun 7, 2022

• 🙈 Implicit Cofibration Proofs (#382)

  Show description for ec2eae8
  

  mmcqd

  and

  jonsterling

  authored
  ec2eae8

  Copy full SHA for ec2eae8

• 🪟 Translucency: semi-abstract definitions and unfolding via extension types (#373)

  Show description for 2e451ab
  

  jonsterling

  and

  favonia

  authored
  2e451ab

  Copy full SHA for 2e451ab

Commits on Jun 5, 2022

• No polymorphic comparison (#378)

  favonia

  authored
  77956ad

  Copy full SHA for 77956ad

Commits on Jun 3, 2022

• 🚫🥸 Remove symbol-specific veils (#374)

  Show description for 7408368
  jonsterling

  authored
  7408368

  Copy full SHA for 7408368

Commits on May 27, 2022

• ©️ Add contributors and CLA (#346)

  Show description for 060eb03
  favonia

  authored
  060eb03

  Copy full SHA for 060eb03

Commits on May 26, 2022

• ⛳ Show numbers of holes (#347)

  Show description for cfc3d5d
  

  favonia

  and

  jonsterling

  authored
  cfc3d5d

  Copy full SHA for cfc3d5d

• 🐫 Update OCaml .gitignore (#355)

  favonia

  authored
  2588ff7

  Copy full SHA for 2588ff7

• bind field labels when pp-ing signatures (#364)

  mmcqd

  authored
  41e9cb0

  Copy full SHA for 41e9cb0

• 📌 Pin bantorra at a specific version (#365)

  favonia

  authored
  ebf483c

  Copy full SHA for ebf483c

• remove "locked proof" feature (#371)

  jonsterling

  authored
  214c56d

  Copy full SHA for 214c56d

• 🐫 Use RedPRL/actions-ocaml (#357)

  Show description for 5d280a2
  favonia

  authored
  5d280a2

  Copy full SHA for 5d280a2

Pagination

Previous

Next