search

raffopazzo / depc

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

use boost cpp_int for numeric constants #16

Closed raffopazzo closed 9 months ago