New answers tagged programming-languages
0
votes
Accepted
Terms are not types, but could I have Type be a subclass of Term in my OOP / C++ dependent type hierarchy?
Have been coding from the book. Here is a sample:
...
- 313
Top 50 recent answers are included