1
I Use This!
Low Activity

Commits : Listings

Analyzed 6 days ago. based on code collected 8 days ago.
May 17, 2021 — May 17, 2022
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Bump stack CI to GHC 9.2.2 More... 2 months ago
Re #416: support building bnfc-system-tests with HTF-0.14.0 More... 2 months ago
Re #416: update stack*.yaml files with extra-dep: HTF-0.15.0.0 More... 2 months ago
Fix #416: switch to HTF-0.15.0.0 More... 2 months ago
Re #416: restrict HTF < 0.15 More... 2 months ago
mtl-2.3-rc3: Backend.Base: import liftIO and forM_ directly More... 3 months ago
Bump verstion to 2.9.5 More... 3 months ago
CI stack: permissions needed to make release More... 3 months ago
Finish changelog for 2.9.4 (really) More... 3 months ago
Fix #414: do not use error token in Menhir backend, rather catch ParXXX.Error More... 3 months ago
Finish changelog for 2.9.4 More... 3 months ago
README: advertise some uses of BNFC More... 3 months ago
Re #399: add test case to test runner More... 3 months ago
Re #399: do not pop top layout block when encountering layout stop More... 4 months ago
Re #399: More uniform layout error reporter. More... 4 months ago
Bump CI from GHC 9.0.1 to 9.0.2 More... 4 months ago
Stack.yaml files for GHC 9.2.1, 9.0.2 and 9.0.1 (updated to nightly) More... 5 months ago
Ocaml, parser: cosmetical improvements to generated .mly file More... 5 months ago
Fix #407: ocaml/parser: put type annotation on every non-terminal More... 5 months ago
Delete intial # from regression-tests directories More... 5 months ago
Testing: use `cabal run`; replace Haskell/Functor by Agda/Functor More... 5 months ago
Cabal file: whitespace More... 5 months ago
CHANGELOG: release history before 2.7 More... 5 months ago
Ocaml #266: sanitize bound variables in `define` More... 5 months ago
Document `--agda --functor` (#405) More... 5 months ago
Agda makefile: use `${AGDA}` instead of just `agda` More... 5 months ago
CHANGELOG #405 More... 5 months ago
Re #405: implement `define` for Agda/Functor by parametrizing Haskell's More... 5 months ago
Re #405 (Agda/Functor): fix problem with underscores in category names More... 5 months ago
Testing #405: use --functor with --agda in system testsuite More... 5 months ago