uvmhs-0.0.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

UVMHSMain

Documentation

type M = UContT (RWS ℕ64 ℕ64 ℕ64) Source #

main :: IO () Source #