search

raffopazzo / depc

Like C and C++ but with Dependent Types
1 stars 1 forks source link

Remove custom range from user-defined integral types #63

Closed raffopazzo closed 1 month ago

raffopazzo commented 1 month ago

Addresses #60