issues
search
raffopazzo
/
depc
Like C and C++ but with Dependent Types
1
stars
1
forks
source link
Add prelude environment with basic axioms
#42
Closed
raffopazzo
closed
1 month ago
raffopazzo
commented
1 month ago
Done with #50
Done with #50