22 lines
418 B
Haskell
22 lines
418 B
Haskell
{-# LANGUAGE GADTs #-}
|
|
{-# LANGUAGE MultiParamTypeClasses #-}
|
|
{-# LANGUAGE OverloadedStrings #-}
|
|
{-# LANGUAGE ScopedTypeVariables #-}
|
|
{-# LANGUAGE Trustworthy #-}
|
|
{-# LANGUAGE TypeApplications #-}
|
|
{-# LANGUAGE NoImplicitPrelude #-}
|
|
|
|
module Main where
|
|
|
|
import Protolude
|
|
import qualified Seminar
|
|
|
|
main :: IO ()
|
|
main = do
|
|
_ <- Seminar.runTests
|
|
return ()
|
|
|
|
if' :: Bool -> a -> a -> a
|
|
if' True x _ = x
|
|
if' False _ y = y
|