Relative-Monads icon indicating copy to clipboard operation
Relative-Monads copied to clipboard

Published 20 hours ago • verified publisher icon jmchapman

Removal of Data.Nat.Properties.Simple in v1.0 of the standard library

Open MatthewDaggitt opened this issue 6 years ago • 1 comments

Hi, this is a ping that the module Data.Nat.Properties.Simple will be removed in the upcoming release of v1.0 the standard library. The module has been deprecated since v0.14.

If you wish to continue using the latest version of the standard library you will need to update some of the files in this repository.

This can be done by replacing open import Data.Nat.Properties.Simple with open import Data.Nat.Properties.

MatthewDaggitt avatar Jan 13 '19 13:01 MatthewDaggitt

thanks!

jmchapman avatar Jan 14 '19 23:01 jmchapman