Due to the properties of F# as a functional language, using a pure representation of functions and a strong type system - in this case, this is a formalization

Due to the properties of F# as a functional language, using a pure representation of functions and a strong type system - in this case, this is a formalization of RISC-V ISA (instruction set). Since we don't have side effects for pure functions. As it has a State machine, one fun opportunity is to execute elf-bin files for it for RISC-V architecture. I'm not sure what do you mean "compile programs", because it's not the compiler.