2
I Use This!
Very Low Activity

Commits : Listings

Analyzed about 12 hours ago. based on code collected about 18 hours ago.
Apr 25, 2023 — Apr 25, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
[ fixed #368 ] Haskell: missing imports for position tokens More... almost 3 years ago
[ #363 ] C: fix doctest for prDefH More... almost 3 years ago
[ docs ] set default highlighting language More... almost 3 years ago
[ fix #362 ] document 'define' More... almost 3 years ago
[ #363 #366 ] CHANGELOG More... almost 3 years ago
[ #363 ] test case: Norell's example for 'define' More... almost 3 years ago
[ #366 ] Haskell printer: indentation after '}' was sometimes dropped More... almost 3 years ago
[ #363 #287 ] fixed for C++: cons, sanitization of keywords More... almost 3 years ago
[ #363 ] fixed for Haskell/Functor More... almost 3 years ago
[ #363 ] fixed for Agda: list and Integer literals More... almost 3 years ago
[ #363 #287 ] fixed for Ocaml: cons, sanitization of keywords More... almost 3 years ago
[ #366 ] OCaml printer: '}' after '{' should not be indented More... almost 3 years ago
[ #366 ] C/C++/Java printer: output '};' etc. on same line More... almost 3 years ago
[ #363 #287 ] fixed for Java More... almost 3 years ago
[ #363 ] C: fixed define with list expressions More... almost 3 years ago
[ #363 refactor ] retain typing information constructed by TypeChecker More... almost 3 years ago
[ #363 refactor ] Pretty Rule/Cat instead of Show Rule/Cat More... almost 3 years ago
[ #363 ] move predicates isNilFun etc. to IsFun class More... almost 3 years ago
[ #363 ] Pretty Exp' instead of Show Exp More... almost 3 years ago
[ boot ] LBNF parser with latest BNFC More... almost 3 years ago
[ fixed #359 ] Haskell: `printString` instead of `instance Print String` More... almost 3 years ago
[ #366 ] updated test case output More... almost 3 years ago
[ #359 ] Haskell: fixed printing of String lists More... almost 3 years ago
[ fixed #366 ] Printers: render } on new line More... almost 3 years ago
[ #358 ] CHANGELOG More... almost 3 years ago
[ #358 clean ] purged getSeparatorByPrecedence More... almost 3 years ago
[ #358 ] fixed for CPP/STL (adapted from Java) More... almost 3 years ago
[ #363 ] example text for examples/define/test.cf More... almost 3 years ago
[ #358 ] fixed for Java More... almost 3 years ago
[ #363 ] move examples/definedRules.cf to examples/rules/define.cf More... almost 3 years ago