githwxi/ATS-Xanadu

Why not talk about proof component at overview.txt?

Closed this issue · 0 comments

master-q commented

I believe ATS3 also stands on:

  • Dynamics
  • Proofs
  • Statics

http://cs.likai.org/ats/ml-programmers-guide-to-ats