R ralfj.de Thoughts on compile-time function evaluation and type systems (2018) 41 points lkurusa 4 years ago 1 comments