1
I Use This!
Moderate Activity

Commits : Listings

Analyzed 4 days ago. based on code collected 4 days ago.
Aug 14, 2018 — Aug 14, 2019
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
[ travis ] use stack version 1.9.3 Anon32 More... about 1 month ago
Merge pull request #258 from BNFC/refactor-tokencat Anon32 More... about 2 months ago
[ ghc-8.6 ] upgrade to 8.6.5 Anon32 More... 3 months ago
[ #257 ] Fixed problem with space character in lexer character set Anon32 More... 3 months ago
[ #235 ] some improvment for the keyword / Tokentype confusion issue for C-like backends Anon32 More... 3 months ago
[ #257 ] support \r and \f in BNFC, Haskell, Java, Ocaml (only \r) Anon32 More... 3 months ago
[ OCaml #249 ] Support unicode: just "show" does not produce valid Ocaml strings Anon32 More... 3 months ago
[ Haskell #214 ] define: do not qualify definitions, they are local to the Parser. Anon32 More... 3 months ago
[ Agda ] backend can now handle layout Anon32 More... 3 months ago
[ fixed #194 ] only strict increase in indentation starts inner layout block Anon32 More... 3 months ago
[ Backends ] delete trailing whitespace before writing file Anon32 More... 3 months ago
[ Haskell ] toHappy: cosmetics Anon32 More... 3 months ago
[ #163 ] ListCat entrypoint: fixed for OCaml and Java Anon32 More... 3 months ago
[ CF ] refactor: type TokenCat (alias for String) for token categories Anon32 More... 3 months ago
[ examples/Alfa ] remove some { } to test layout Anon32 More... 4 months ago
[ examples/Alfa ] modify grammar to parse input Sorting.alfa Anon32 More... 4 months ago
[ Haskell ] new Makefile: added missing dependencies for parser tests Anon32 More... 4 months ago
Merge pull request #255 from rabiet/master Anon32 More... 4 months ago
Fixed all misspellings of Successful Anon32 More... 4 months ago
[ Agda ] support numbered constructors Anon32 More... 4 months ago
[ Agda ] avoid keyword `variable` Anon32 More... 4 months ago
[ Agda ] avoid clash with Doc in printer Anon32 More... 4 months ago
[ Agda ] token categories Char and String work now Anon32 More... 4 months ago
[ fixed #210 ] generate entrypoints also for CoercCat Anon32 More... 4 months ago
[ testsuite ] test case for #210 (parsing CoercCat) Anon32 More... 4 months ago
[ gitignores ] ignore build directories Anon32 More... 4 months ago
[ CF ] tiny refactor: inline allCats Anon32 More... 4 months ago
[ GetCF ] more helpful error message for non-unique names Anon32 More... 4 months ago
[ Java ] refactor: name arguments of javaTest Anon32 More... 4 months ago
[ ghc-7.8 compat ] import Monoid Anon32 More... 4 months ago