Hacker News new | ask | show | jobs
by pseudonom- 2979 days 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...
1 comments
fusiongyro 2979 days ago
No offense, but this is like asking to see an example of someone doing OOP in C and being handed C++.
link