agda/examples/simple-lib/TestLib.agda

module TestLib where

import Lib.Bool
import Lib.Eq
import Lib.Fin
import Lib.IO
import Lib.Id
import Lib.List
import Lib.Logic
import Lib.Maybe
import Lib.Monad
import Lib.Nat
import Lib.Prelude
import Lib.Vec