您即将离开知乎，请注意您的账号和财产安全。
http://koerbitz.me/posts/A-Look-at-the-Idris-Internals-Part-IV-From-TT-Onward.html
