BinderAnn-0.1.0.0: test/Main.hs

module Main where

import qualified Pure
import qualified Monadic
import qualified Generic

main :: IO ()
main = do
  putStrLn "\n== Pure ================================\n"
  Pure.tests
  putStrLn "\n== Monadic =============================\n"
  Monadic.tests
  putStrLn "\n== Generic =============================\n"
  Generic.tests
  putStrLn "\n========================================\n"