------------------------------------------------------------------------
-- Experiments related to equality
--
-- Nils Anders Danielsson
--
-- Some files have been developed in collaboration with others, see
-- the individual files.
------------------------------------------------------------------------

{-# OPTIONS --cubical #-}

module README where

-- "Safe" code.

import README.Safe

-- Code which might depend on potentially unsafe features.

import README.Unsafe