A formal semantics of the RISC-V ISA in Haskell - View it on GitHub