Friday, March 10, 2017

Rust's Type System is Turing-Complete: an exploration of type-level programming in Rust (x-post /r/rust)

http://ift.tt/2mvczGh

Submitted March 10, 2017 at 07:08PM by sdleffy http://ift.tt/2mvllnt Check me out at http://ift.tt/1RyFBcs !
Posted by at
Labels: , , , ,

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)