search

raffopazzo / depc

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

Axioms cannot be used at run-time #43

Closed raffopazzo closed 6 months ago

raffopazzo commented 6 months ago

Fixed by https://github.com/raffopazzo/depc/pull/46