jmitchell
jmitchell
Finish #12 (Generate profiling reports) first.
+1 Not volunteering or anything, but it's clearly necessary.
I haven't used [Verified Software Toolchain (VST)](https://vst.cs.princeton.edu/) yet, but it claims to let you verify C programs by faithful translation to Coq via `clightgen` from the [CompCert](http://compcert.inria.fr/) project. Workflow for...
Oops! Thanks :)
We also need to support the `ghc-options` directive. Example: https://github.com/input-output-hk/cardano-sl/blob/423a1e5dfd87a693e2046dcabc767a001594d1eb/stack.yaml#L141
While reading the paper I also started wondering about `if_valid`. Based on the changelog it was introduced in v0.9.10. Poked around a bit with git bisect and identified these two...
By the way, this was prompted because the generated `class="nav tree"` part needs to be `class="nav navbar-nav"` to look right with Bootstrap. Bootstrap also seems to expect `class="active"` instead of...
This feature could resolve #27.
#47 resolves my immediate concern, and I don't have any pressing need for this now. Eventually I'd like the flexibility to migrate away from Bootstrap or further customize the navigation,...
I'm happy to help too. :)