Ara Adkins

icon company CTO & CFO @tactile-metrology, Principal Engineer @reilabs icon location Amsterdam, NL icon location Compilers, type-theory, runtimes, formal verification, cryptography. Mixing, mastering and music. Skiing, parkour, martial arts.

Results 101 comments of Ara Adkins

Cannot read files on iOS

Could you not get around this by allowing typst packages and the WASM bundle to be stored in a user-defined folder in the vault (#52)? Once that is done, they...