3 ms·
Link?
by fusiongyro 8y ago
Link?
- pseudonom- 8y agoNot sure what GP is thinking of, but here's an example of embedding tools for reasoning about performance in Idris: https://www.youtube.com/watch?v=4i7KrG1Afbk&feature=youtu.be&t=1254 https://www.youtube.com/watch?v=4i7KrG1Afbk&feature=youtu.be...
- fusiongyro 8y agoNo offense, but this is like asking to see an example of someone doing OOP in C and being handed C++.