search

raffopazzo / depc

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

add cstr_t #44

Closed raffopazzo closed 4 months ago

raffopazzo commented 4 months ago

Implements https://github.com/raffopazzo/depc/issues/41