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 missing license metadata

Authors
Documentation
Tags
License
Last updatedWednesday, February 22nd, 2023 11:33:08pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/wilbowma/scribble-bettergrammar.git?path=scribble-bettergrammar-doc#main75aa8759e19da7ed240acfbbdae9239126502866
Last checkedFriday, May 24th, 2024 12:09:37pm (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