Skip to content

Activity

Showing most recent first

docs(CONTRIBUTORS): really use Markdown

favoniapushed 1 commit to main • 4d2ffb3…b8c2b78 • 
on Oct 3, 2023

fix(parser): embrace the latest asai

favoniapushed 1 commit to main • 070f842…4d2ffb3 • 
on Sep 27, 2023

deploy: 070f842

github-actions[bot]pushed 1 commit to gh-pages • eb2043f…2ea1cae • 
on Sep 17, 2023

fix: embrace the new asai

favoniapushed 1 commit to main • fa38422…070f842 • 
on Sep 17, 2023

fix(error): typo

favoniapushed 1 commit to main • 0278005…fa38422 • 
on Sep 10, 2023

Deleted branch

favoniadeleted dependabot/github_actions/actions/checkout-4 • 
on Sep 5, 2023

build(deps): bump actions/checkout from 3 to 4 (#29)

Pull request merge
favoniapushed 1 commit to main • 6f36728…0278005 • 
on Sep 5, 2023

build(deps): bump actions/checkout from 3 to 4

dependabot[bot]created dependabot/github_actions/actions/checkout-4 • fd649bc • 
on Sep 5, 2023

feat: print context/goal at hole instead of hole type

Force push
favoniaforce pushed to debug-holes • 19c2d32…eebaad2 • 
on Aug 27, 2023

deploy: b750f5c

github-actions[bot]pushed 1 commit to gh-pages • 0702045…eb2043f • 
on Aug 27, 2023

build: fix algaett.opam

favoniapushed 1 commit to main • b750f5c…6f36728 • 
on Aug 27, 2023

Deleted branch

favoniadeleted worship-asai-alt • 
on Aug 27, 2023

feat: 🛐 Worship asai (#28)

Pull request merge
favoniapushed 1 commit to main • e8a776d…b750f5c • 
on Aug 27, 2023

ci: use the official OCaml 5

favoniapushed 1 commit to worship-asai-alt • 0642b79…c7d5a16 • 
on Aug 27, 2023

feat: better error messages for the refiner

favoniacreated worship-asai-alt • 0642b79 • 
on Aug 27, 2023

build: upgrade dependency bwd to 2.2

favoniapushed 1 commit to main • da8b311…e8a776d • 
on Aug 22, 2023

Upgrade Yuujinchou to 5.0.1

favoniapushed 1 commit to main • 68500c8…da8b311 • 
on May 31, 2023

fix: make algaett great again

favoniapushed 1 commit to main • 6134ef5…68500c8 • 
on May 24, 2023

fix(refiner): fix inelegance

favoniapushed 1 commit to main • 520c2b0…6134ef5 • 
on May 18, 2023