synless icon indicating copy to clipboard operation
synless copied to clipboard

Published 20 hours ago • verified publisher icon justinpombrio

Use TypedArena for storing language and notation sets

Open e-matteson opened this issue 6 years ago • 1 comments

Instead of GrowOnlyMap and lazy_static.

e-matteson avatar Oct 18 '19 01:10 e-matteson

Note on how to use typed-arena ergonomically: https://manishearth.github.io/blog/2021/03/15/arenas-in-rust/

justinpombrio avatar Feb 22 '24 22:02 justinpombrio

We now use generational-arena and our own IndexedMap for this sort of thing

e-matteson avatar Apr 27 '24 17:04 e-matteson