GitHub repository: sambacha/ycabal-spec
Primary language: HTML
Description: formal specification for YCabal/Backbone Cabal