Everything.agda

{-# OPTIONS --sized-types #-}

module Everything where

-- monads
import Partial
import NonDeterm
import PartialNonDeterm

-- compiler calculations from paper
import Loop
import Lambda
import Interrupts

-- addtional calculations
import While
import LambdaException
import InterruptsLoop
import LambdaCBName

-- termination proofs
import Terminating.Lambda
import Terminating.Interrupts
import Terminating.LambdaException
import Terminating.InterruptsLoop
import Terminating.LambdaCBName