search

githwxi / ATS-Xanadu

Bootstrapping ATS3
GNU General Public License v3.0
196 stars 14 forks source link

Why not talk about proofs at overview.txt? #3

Open master-q opened 6 years ago

master-q commented 6 years ago

I believe ATS3 stands on:

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