The road to epsilon-zero: Productive programs and well-founded orders

(blog.plover.com)

1 points | by pavel_lishin 7 hours ago ago