logicaffeine-base 0.9.16

Pure structural atoms for logicaffeine - arena, tokens, spans
Documentation