Joshua Barney

What's the status of this? I'm attempting to work through Handbook of Practical Logic and Automated Reasoning and would like to use utop, but quotations don't seem to be working...

Nice. I might go learn Go and do it myself. If this is still open by the time I get round to that I'll send you a pull request. I...

This still appears to be a problem, at least for me, and I've noticed something strange. Whilst changing to the default theme fixes the issue, when I switch to the...

With the ITS theme:  With the default theme:  These are random IDs that are internal to the generated CSS from this plugin only, right? The selector setting the...

Well this doesn't look right 

Looks like it was my bad font settings causing this, PEBKAC. I guess let this be a warning to anyone in the future, style settings doesn't inject the styles one...

Perhaps relevant, https://github.com/nannou-org/nannou/issues/766

 This will grow continuously, right? (src/graphics/gpu/growing.rs)

```rust use std::env; use std::str::FromStr; use ggez::{ event, glam::*, graphics::{self, Color}, Context, GameResult, }; struct MainState { count: u64, circles_per_draw: u64, } impl event::EventHandler for MainState { fn update(&mut self,...

The output is long with possible losses but here's the stuff that valgrind thinks is definitely lost ``` ==171440== ==171440== 4,248 bytes in 59 blocks are possibly lost in loss...