LeanColls icon indicating copy to clipboard operation
LeanColls copied to clipboard
verified publisher icon JamesGallicchio

feat: polymorphic range

Open JamesGallicchio opened this issue 1 year ago • 0 comments

This adds support for ranges over types other than Nat.

JamesGallicchio avatar Mar 27 '24 20:03 JamesGallicchio