Commits

Branch selector

 jane

User selector

dvulakh

Datepicker

All time

Commit History

Commits on Nov 7, 2025

• Format comments (#123)

  Show description for a2b2800
  dvulakh

  authored
  a2b2800

  Copy full SHA for a2b2800

Commits on Nov 6, 2025

• instructions & test fixes so local builds match ci (#124)

  Show description for 7628747
  dvulakh

  authored
  7628747

  Copy full SHA for 7628747

Commits on Nov 3, 2025

• Fix jkind normalization (#122)

  Show description for ebd1611
  dvulakh

  authored
  ebd1611

  Copy full SHA for ebd1611

Commits on Oct 11, 2025

• Block indices (#120)

  dvulakh

  authored
  93aff61

  Copy full SHA for 93aff61

Commits on Jul 31, 2025

• Fix modes on modules in expressions & structures (#115)

  Show description for 31e4782
  dvulakh

  authored
  31e4782

  Copy full SHA for 31e4782

Commits on May 2, 2025

• Fixes for compact `fun` and `function` arguments (#107)

  dvulakh

  authored
  ac303c9

  Copy full SHA for ac303c9

Commits on Apr 22, 2025

• Change PR number workflow to ubuntu-latest (#109)

  Show description for 6eecca1
  dvulakh

  authored
  6eecca1

  Copy full SHA for 6eecca1

Commits on Feb 18, 2025

• add [--check-odoc-parsing] flag to manpage (#104)

  Show description for a759575
  dvulakh

  authored
  a759575

  Copy full SHA for a759575

Commits on Feb 17, 2025

• Format doc comments (#101)

  Show description for bd91762
  dvulakh

  authored
  bd91762

  Copy full SHA for bd91762

Commits on Feb 14, 2025

• Add tests that modalities are erased in more positions (#102)

  Show description for 2208eca
  dvulakh

  authored
  2208eca

  Copy full SHA for 2208eca

Commits on Jan 15, 2025

• Fix precedence of `stack_` keyword (#92)

  Show description for 304977b
  dvulakh

  authored
  304977b

  Copy full SHA for 304977b

Commits on Jan 14, 2025

• Erase `global_` by moving the modality to a `[@globalized]` attribute (#93)

  dvulakh

  authored
  35aaa33

  Copy full SHA for 35aaa33

Commits on Jan 13, 2025

• Fix bug in variance & injectivity normalization (#96)

  Show description for 9b29b6b
  dvulakh

  authored
  9b29b6b

  Copy full SHA for 9b29b6b

Commits on Dec 2, 2024

• Fix extension shorthand for type nonrec (#94)

  dvulakh

  authored
  efd15ae

  Copy full SHA for efd15ae

Commits on Nov 26, 2024

• Fix CI by deleting test_branch (#91)

  dvulakh

  authored
  525979e

  Copy full SHA for 525979e

Commits on Nov 5, 2024

• Fix formatting of attributes on long lines (#86)

  Show description for e40d7f4
  dvulakh

  authored
  e40d7f4

  Copy full SHA for e40d7f4

Commits on Oct 29, 2024

• Sundry mode and kind syntax (#85)

  dvulakh

  authored
  2dff2e4

  Copy full SHA for 2dff2e4

Commits on Jul 9, 2024

• Compact let puns (#80)

  Show description for a94cded
  

  dvulakh

  and

  mdelvecchio-jsc

  authored
  a94cded

  Copy full SHA for a94cded

Commits on Jun 27, 2024

• Do not enforce let punning in let operators (#79)

  Show description for 21fe0cf
  dvulakh

  authored
  21fe0cf

  Copy full SHA for 21fe0cf

Commits on Jun 24, 2024

• Do not attempt to pun [let%foo local_ x = x in ...] (#77)

  Show description for 731da11
  dvulakh

  authored
  731da11

  Copy full SHA for 731da11

Commits on Jun 21, 2024

• Enforce let-punning in the janestreet profile (#70)

  Show description for 4a9e74e
  dvulakh

  authored
  4a9e74e

  Copy full SHA for 4a9e74e

Commits on Jun 7, 2024

• Add comprehensive testing of the janestreet profile (#72)

  Show description for 67727be
  dvulakh

  authored
  67727be

  Copy full SHA for 67727be