Decalf.agda

{-# OPTIONS --rewriting #-}

module Examples.Decalf where

import Examples.Decalf.Basic
import Examples.Decalf.Nondeterminism
import Examples.Decalf.ProbabilisticChoice
import Examples.Decalf.GlobalState
import Examples.Decalf.HigherOrderFunction