Katherine

Great! Do you know where they should live? Somewhere in the private use area?

I don't think this should go in the math section because it's not specific to mathematical use. E.g. I wouldn't want to use mathematical codepoints to write somebody's name. Although...

Yes, I'm not signing up for that just yet :) I'm only intending to work on Roman for the moment, and probably just uppercase at first. Of course I agree...

oh boy. thank you!

not at all! this is a genuine bug, thank you

This is true, and it's actually intentional - for other dialect outputs, I didn't want to provide definitions for these rules where we might already have them from another context....

You're right that this is a parsing issue; it happens before we get to output. I think this may be the same bug as #11. ``` ; ./build/bin/kgt -l abnf...

the unicode character ranges in dhall.abnf are not implemented yet, either: ``` ; echo 'x = %xF0000-FFFFD' | ./build/bin/kgt -l abnf 1:5: hex sequence %xF0000-FFFFD out of range: expected %x0..%xff...

the lack of error message is a bug. unfortunately I can't reproduce that! could you try to cut that down to a minimal test case please? pragmatically, if you just...

Hi, I'm really sorry, makefile stuff to build the documentation isn't present yet. Maybe you can run docbook by hand, but otherwise I'm afraid all I can offer is reading...