search

raffopazzo / depc

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

axioms cannot be used at run-time #46

Closed raffopazzo closed 4 months ago