@nwtgck

type-safe-mips

Subset of Virtual MIPS Architecture in Type-Safe way

Type-safe operations

headBits :: Bits (Succ n) -> Bit
takeBits :: SNat n -> Bits m -> Bits (Min n m)
dropBits :: SNat n -> Bits m -> Bits (m - n)
(+*+) :: Bits n -> Bits m -> Bits (n+m)