4 ms·
Not 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&
by pseudonom- 8y ago
Not 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++.