module A201602.Everything where


--------------------------------------------------------------------------------

import A201602.AltArtemov
import A201602.AltArtemov-WIP
import A201602.AltArtemov-WIP2
import A201602.AltArtemov-WIP3


--------------------------------------------------------------------------------

import A201602.Try2
import A201602.Try3
import A201602.Try4
import A201602.Try5
import A201602.Try6
import A201602.Try7
import A201602.Try8
import A201602.Try9
import A201602.Try10
import A201602.Try11
import A201602.Try12
import A201602.Try13
import A201602.Try14
import A201602.Try15
import A201602.Try16

import A201602.S4
import A201602.AltArtemovS4

import A201602.Atom
import A201602.STLC

import A201602.SimpleSTLC

import A201602.SimpleSTLC2

import A201602.STLCVarSupply

import A201602.SystemT

-- import A201602.Church -- TODO: Agda bug

import A201602.DepCx

import A201602.LFFOL

import A201602.Numbered

import A201602.Ornaments

import A201602.PHOASSTLC

import A201602.RemovedProps

import A201602.Scratch-deduction
import A201602.Scratch-encodings
import A201602.Scratch-encodings2
import A201602.Scratch-negation
import A201602.Scratch-variables
import A201602.Scratch-variables2


--------------------------------------------------------------------------------