scribble-bettergrammar-doc

Documentation for scribble-bettergrammar-lib, a Scribble library for typesetting grammars with annotations, in particular, differences between grammars.

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedSaturday, March 27th, 2021 8:15:18pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/wilbowma/scribble-bettergrammar.git?path=scribble-bettergrammar-doc#maine7abc41d989f7c777d4e1c2b20b30569177c75f5
Last checkedFriday, May 7th, 2021 12:28:48am (UTC)
Last editedFriday, July 17th, 2020 7:43:04pm (UTC)
Date addedFriday, July 17th, 2020 7:01:17am (UTC)
Modules
  • scribble-bettergrammar-doc/bettergrammar/scribblings/bettergrammar.scrbl