Andrea Vezzosi Saizan

Saizan / gist:847437

Created February 28, 2011 15:12 — forked from DylanLukes/gist:847423

	{-# LANGUAGE GADTs, EmptyDataDecls#-}

	module Calculator where

	type Stack = [Double]

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

	data Operator = Operator Arity Associativity

Saizan / gist:4650605

Created January 27, 2013 21:24 — forked from copumpkin/Weird.agda

	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