Hi, I'm Bjorn.
Some of the things I've built.
- idris-mlir
A whole-program compiler from Idris 2 to native code through MLIR, where the types are promises about cost.
A whole-program compiler from Idris 2 to native code through MLIR, where the types are promises about cost.