1
Fork 0
automata/probabilistic/app/Main.hs
2021-02-01 11:44:11 +01:00

15 lines
354 B
Haskell

module Main where
import PA
import Grid
import Output
main :: IO ()
main = do
writeFile "example.dot" (dotShow example)
writeFile "example.pa" (denseShow example)
writeFile "grid1.dot" (dotShow firstPA)
writeFile "grid1.pa" (denseShow firstPA)
writeFile "grid2.dot" (dotShow secondPA)
writeFile "grid2.pa" (denseShow secondPA)