Data.Int

1Lab
  • The integers - index🔗
This page was written by Amélia Liao, Jonathan Coates, Naïm Favier, Reed Mullanix, favonia, and uni.

back to index 
module Data.Int where

The integers - index🔗

open import Data.Int.Properties public
open import Data.Int.Order public
open import Data.Int.Base public