copilot-language-0.7: src/Copilot.hs

--------------------------------------------------------------------------------
-- Copyright © 2011 National Institute of Aerospace / Galois, Inc.
--------------------------------------------------------------------------------

-- | Main import module for the front-end lanugage.

{-# LANGUAGE Safe #-}

module Copilot
  ( module Copilot.Language
  ) where

import Copilot.Language

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