23 ms·Yes. C++ templates provide some subset of what you can do with dependent types in Idris.by RossBencina 8y agoYes. C++ templates provide some subset of what you can do with dependent types in Idris.