Artem Borisovskiy

I am not educated enough in linker stuff, and the docs are still not very detailed, but I believe yes, it must be an additional symbol pointing at the first...

If that is correct, then there should be an API to add labels to declared symbols, and once I tell `faerie` to assemble the object, it should verify that the...

But should such a feature be platform-specific and tied to `R_RISCV_PCREL_HI20`? I do not know if it can be generalized for other uses. I think I should study the ELF...

Also I do not think that it is a good idea to use addends for that, since they have their use in other types of relocations, so it feels be...

Update: found [this comment by `jim-wilson`](https://github.com/riscv/riscv-elf-psabi-doc/issues/90), which confirms my hypothesis about the workings of this type of relocatioon. >GNU ld relocates one section at a time. It is while we...

The shorter the name, the better. @mfelsche's "tack" is short, related to horses and is also a verb that basically means "attach". Pretty smart, if you ask me.

It seems that Koka would benefit from something like doc tests that Rust has.