path: root/Everything.agda

{-# OPTIONS --without-K --safe #-}
module Everything where

import Data.BinOp
import Data.Type