Everything.agda


1
2
3
4
5
6
7
8

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

import Data.BinOp
import Data.List.Properties.Ext
import Data.Type
import Data.Type.Properties
import Data.Util