123456789101112131415-------------------------------------------------------------------------- The Agda standard library---- Floating point numbers------------------------------------------------------------------------ {-# OPTIONS --cubical-compatible --safe #-} module Data.Float where -------------------------------------------------------------------------- Re-export base definitions and decidability of equality open import Data.Float.Base publicopen import Data.Float.Properties using (_≈?_; _≟_) public