zopsicle
zopsicle
Perhaps `display: none;` could be removed, and the person that invokes doc2 could give a command-line flag if they want contracts to be included?
I'm indifferent. I suppose listing them under headers _Preconditions_ and _Postconditions_ headers would be nice. Perhaps the programmer could further clarify them if they write their own Preconditions and Postconditions...
Cool :) Having non-inferred attributes on templated code is always tricky!
You can't `use` associated constants :')
Another benefit of having a separate derivation for each crate in a workspace is that you can more easily deploy the executables from different crates separately using nix-copy-closure, as they...
As a workaround, CMake respects the CXXFLAGS environment variable, so the user can populate it with warning disabling flags prior to building: ```bash export CXXFLAGS=" \ $CXXFLAGS \ -Wno-dtor-name \...
You can extract the SVGs from the XHTML file using various XML processing tools. Here is an example Bash script that uses Xidel with XQuery to extract the rule names...
Found an easy way to escape at signs! E.g.: @chloekek. This doesn't insert code markup or ZWSPs. ``` @chloekek ```
I think for this to work, `get_root` should use `'a` from `SliceSegments
A workaround for syntax highlighting is to uninstall the extension and exploit the similarity between Skylark and Python, and put the following in your VS Code configuration file: ```json "files.associations":...