The Isotope Project isotope is a project to create an intermediate representation for optimizing compilers with a denotational semantics based on category theory. We plan to implement isotope in Rust and document it's design in Typst.
