-----------------------------------------------------------------------------
  -- -
  -- Module    : Core.Types
  -- Copyright : (c) Jeffrey Young
  -- License   : BSD3
  -- Maintainer: youngjef@oregonstate.edu
  -- Stability : experimental
  --
  -- Internal types for the fgli library in Idris
  -- TODO: Make this description much much better
  -----------------------------------------------------------------------------

module Types where

interface Graph gr where
