Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 18, 2024

• Bump DavidAnson/markdownlint-cli2-action from 17.0.0 to 18.0.0 (#129)

  dependabot[bot]

  authored
  b909e9f

Commits on Nov 17, 2024

• refactor: s/Core/Kernel (#128)

  toku-sa-n

  authored
  c556ab0

• refactor: export only one OCaml file (#127)

  toku-sa-n

  authored
  1d8d261

Commits on Nov 14, 2024

• Bump ocaml/setup-ocaml from 3.0.13 to 3.0.15 (#126)

  dependabot[bot]

  authored
  e8e7011

Commits on Nov 11, 2024

• Bump ocaml/setup-ocaml from 3.0.9 to 3.0.13 (#124)

  dependabot[bot]

  authored
  f1b1798

Commits on Nov 6, 2024

• feat!: switch from GUI to TUI (#118)

  toku-sa-n

  authored
  7a7e553

Commits on Oct 24, 2024

• Bump actions/checkout from 4.2.0 to 4.2.2 (#122)

  dependabot[bot]

  authored
  0ea5eae

Commits on Sep 30, 2024

• feat!: restrict to ocaml >= 4.14.1 (#119)

  toku-sa-n

  authored
  4a765fc

Commits on Sep 26, 2024

• Bump DavidAnson/markdownlint-cli2-action from 16.0.0 to 17.0.0 (#115)

  dependabot[bot]

  authored
  8ed89f7

• Bump ocaml/setup-ocaml from 3.0.0 to 3.0.9 (#116)

  dependabot[bot]

  authored
  aa3cd5c

• Bump actions/checkout from 4.1.7 to 4.2.0 (#117)

  dependabot[bot]

  authored
  eed8cb5

Commits on Jul 3, 2024

• Bump ocaml/setup-ocaml from 2.2.10 to 3.0.0 (#109)

  dependabot[bot]

  authored
  e475049

Commits on Jun 30, 2024

• Create src/ and assets/ (#108)

  toku-sa-n

  authored
  b584c17

• Bump ocaml/setup-ocaml from 2.2.9 to 2.2.10 (#107)

  dependabot[bot]

  authored
  3a83f16

Commits on Jun 27, 2024

• Fix the license field (#106)

  toku-sa-n

  authored
  c29b3ad

• Bump actions/checkout from 4.1.4 to 4.1.7 (#101)

  dependabot[bot]

  authored
  e47046d

• Switch to Dune (#105)

  toku-sa-n

  authored
  aeedddd

Commits on Jun 22, 2024

• Use record (#97)

  toku-sa-n

  authored
  15391d5

• Bump haskell-actions/hlint-run from 2.4.9 to 2.4.10 (#102)

  dependabot[bot]

  authored
  529c8e2

• Bump haskell-actions/hlint-setup from 2.4.9 to 2.4.10 (#103)

  dependabot[bot]

  authored
  fc159b5

Commits on Apr 27, 2024

• Write the logic in Coq (#85)

  toku-sa-n

  authored
  df4f9b7

• Do not run the test job on Windows (#94)

  toku-sa-n

  authored
  7a14c36

• Bump haskell-actions/setup from 2.7.0 to 2.7.1 (#88)

  dependabot[bot]

  authored
  635bb1a

Commits on Apr 26, 2024

• Fix versions (#95)

  toku-sa-n

  authored
  fc0a03c

• Bump actions/download-artifact from 4.1.5 to 4.1.7 (#92)

  dependabot[bot]

  authored
  57887d4

• Bump actions/upload-artifact from 4.3.2 to 4.3.3 (#90)

  dependabot[bot]

  authored
  0b56347

• Bump actions/checkout from 4.1.3 to 4.1.4 (#91)

  dependabot[bot]

  authored
  a99d309

Commits on Apr 22, 2024

• Bump actions/checkout from 4.1.2 to 4.1.3 (#87)

  dependabot[bot]

  authored
  8d1323f

Commits on Apr 21, 2024

• Create the fonts directory and move the font there (#83)

  toku-sa-n

  authored
  0468f26

• Calculate cache keys with the hash of Haskell files (#81)

  toku-sa-n

  authored
  614a2c3

• s/build-with-hie/build-hie (#76)

  toku-sa-n

  authored
  6db67b9

• Merge packages into one (#79)

  toku-sa-n

  authored
  63f06c2

Commits on Apr 20, 2024

• Revert "Merge check-if-cabal-file-is-up-to-date into test" (#77)

  toku-sa-n

  authored
  f1c37cf

• Merge check-if-cabal-file-is-up-to-date into test (#75)

  toku-sa-n

  authored
  2ce7897

Commits on Apr 19, 2024

• Count how many times the user presses the Enter key (#71)

  toku-sa-n

  authored
  af8c22a

Pagination

PreviousNext