Safe Haskell | None |
---|---|
Language | Haskell98 |
Lava.Vis
Documentation
vis :: Checkable a => a -> IO ProofResult Source
equivCheckVisInput :: (Generic b1, Generic a, Generic b) => (a -> b) -> (a -> b1) -> a -> IO ProofResult Source
chalmers-lava2000-1.5: Hardware description EDSL
Safe Haskell | None |
---|---|
Language | Haskell98 |
Lava.Vis
vis :: Checkable a => a -> IO ProofResult Source
equivCheckVisInput :: (Generic b1, Generic a, Generic b) => (a -> b) -> (a -> b1) -> a -> IO ProofResult Source