termonad-0.1.0.0: src/Termonad/Prelude.hs

{-# LANGUAGE NoImplicitPrelude #-}

module Termonad.Prelude
  ( module X
  ) where

import ClassyPrelude as X
import Data.Proxy as X