“Formatting with first-class types” – Fascinating look at #idris by @janstepien innoq.com/en/blog/formatting… via @innoq

Feb 10, 2018 · 7:45 AM UTC

2
6
13
Replying to @stilkov @janstepien @INNOQ
Seems to be a post from our future.
1
Replying to @stilkov @janstepien @INNOQ
Superb post, Jan. I like that you have unassuming, too so that I had a chance to understand what it is about. 👍