andy-morris

anders:DisML ± cat f.dis                                         {git:DisML@pretty}!
fun type f: int*int -> int
  | f (x,y) if x < y = x+y+7
  | ... if x == y = x+y
  | ... = y-x

anders:DisML ± dist/build/DisML/disml < f.dis                    {git:DisML@pretty}!

Program {unProgram = [TLDecls [FunDecl [FunD (Just (FunType (Id "f") (Type []

andy-morris

{-# LANGUAGE DeriveDataTypeable #-}
module CNEx where

import Prelude hiding (catch)
import Data.Typeable
import Control.Exception
import System.Random
import System.IO.Unsafe

data ChuckNorris = ChuckNorris deriving (Typeable)