Iltotore

Iltotore/iron

Strong type constraints for Scala

554 stars 70 forks 554 watchers Scala Apache License 2.0

assert functional-programming refinement-types scala types

View on GitHub Website

4 Open Issues Need Help Last updated: Jul 2, 2026

Open Issues Need Help

View All on GitHub

Cask support about 3 hours ago

enhancement good first issue

554

Strong type constraints for Scala

Scala

#assert#functional-programming#refinement-types#scala#types

Not implication is the inverse, not the contrapositive (unsoundness) 2 days ago

bug good first issue

554

Strong type constraints for Scala

Scala

#assert#functional-programming#refinement-types#scala#types

Numeric Greater/Less/Multiple for Int/Long compare via Double, losing precision above 2^53 2 days ago

bug good first issue

554

Strong type constraints for Scala

Scala

#assert#functional-programming#refinement-types#scala#types

ForAll ==> Exists (and friends) are unsound on empty/short collections 2 days ago

bug good first issue

554

Strong type constraints for Scala

Scala

#assert#functional-programming#refinement-types#scala#types