HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by fusiongyro | Hacker News Reader
Parent
Full thread
fusiongyro
·
Link?
View on HN
pseudonom-
·
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...
fusiongyro
·
No offense, but this is like asking to see an example of someone doing OOP in C and being handed C++.
Reply on news.ycombinator.com