Saizan

module Impossible where

open import Coinduction
open import Function
open import Data.Empty
open import Data.Conat
open import Data.Bool
open import Data.Maybe using (Maybe; just; nothing)
open import Data.Product
open import Relation.Nullary

Saizan

{-# LANGUAGE GADTs, EmptyDataDecls#-}

module Calculator where

type Stack = [Double]

data Arity = Unary | Binary
data Associativity = Left | Right

data Operator = Operator Arity Associativity