Michael Day

I'm having trouble understanding, what exactly does `join16` do?

Oh right I see, so that input array is an array of formats... tricky to construct such a beast!

A limited form of unification would require _one_ of the operands to have a known type, at least! Then `x / 2` would be okay.

"Open Font Shaping" or something along those lines that includes "Open" and "Font" but not "OpenType" sounds good to me.

That's a good analysis, perhaps it suggests going in the opposite direction and listing the licensing criteria that we might want to apply to the docs -- some of which...

Fathom is still at an early stage, so in terms of practical application Kaitai can do more things right now. However what we are aiming for is to see if...

There has been a lot to do! To begin we needed to understand the fundamentals of how to implement a dependent type system with bidirectional type checking and normalisation by...

Font encountered here: https://github.com/terrastruct/d2/issues/1252

Which font?

Hi, we've been looking at this and perhaps we can submit a pull request to refactor the if-then-else chain that determines `princeDownloadURL` with a JSON table of download URLs indexed...