module Everything where

import Prelude
import Stack

import Syntax

import Semantics
import CompleteSemantics

import OnoSemantics
import BozicDosenSemantics
import AlechinaEtAlSemantics
import IemhoffSemantics

import CompleteOnoSemantics
import CompleteBozicDosenSemantics
import CompleteAlechinaEtAlSemantics
import CompleteIemhoffSemantics