Idris: Type safe printf
youtube.com/watch?v=fVBck2Zngjo
Demonstrating creation of a type safe printf function using Idris, a dependently typed programming language. The result is here: https://gist.github.com/puff...
Comments (0)
Sign in to post comments.