Notes on Idris (2017)

Article URL: https://thebreakfastpost.com/2017/12/02/notes-on-idris/

Comments URL: https://news.ycombinator.com/item?id=17255140

Points: 17

# Comments: 0

from Hacker News: Front Page https://ift.tt/2nns1Xn
via