Skip to content

Iron v1.1.1
Compare
Choose a tag to compare
@Iltotore Iltotore released this 06 Sep 16:33
· 248 commits to main since this release
v1.1.1
7236691

Introduction

This is a condensed of two releases: Iron v1.1.1 and Iron Numeric v1.1-1.0.0

Iron v1.1.1

  • Add RuntimeOnly[B] modifier. It transforms the wrapped constraint into a runtime only version.
  • Internal code improvement

Iron Numeric v1.1-1.0.0

Even[A] in its old state wasn't that useful. The discussion #27 showed that Even has more use cases as a Constraint than as a Constrained:

type +>[A, B] = A ==> Greater[0] && Even[A]

Even provides a useful abstraction to support all numeric types.

  • Fix wrong type alias for Natural[T]
Assets 2
Loading