Hacker GitHub

← All repos

mukeshtiwari/Idris

View on GitHub ↗ ★ 17 Idris

Codes related to Idris

3 mentions on Hacker News by 2 people: 0 stories, 3 comments · first 2017-06-16 · latest 2022-10-11

Mentions per year 3 mentions · busiest year 2017 (2)
20082026
AllStoriesComments NewestTopOldest
  1. And here is a gist that demonstrates how simple it is to implement such a type-safe printf function: https://github.com/mukeshtiwari/Idris/blob/master/Printf.idr
    comment by dwenzek · 2022-10-11 · in The Little Typer (2018)
  2. …way to the future of programming. A few examples that I find very intriguing: 1. type safe printf: https://github.com/mukeshtiwari/Idris/blob/master/Printf.idr 2. compile-time evidence that a runtime check will be performed:…
    comment by mej10 · 2017-06-16 · in Things that Idris improves things over Haskell
  3. The type safe printf implementation is pretty cool as another small example. https://github.com/mukeshtiwari/Idris/blob/master/Printf.idr
    comment by mej10 · 2017-06-16 · in Things that Idris improves things over Haskell