search

raffopazzo / depc

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

add kinds #11

Closed raffopazzo closed 10 months ago

raffopazzo commented 10 months ago

Superseded by #13