ATS言語に関する文書の日本語訳置き場
TeX
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
Dictionary Refine Mar 24, 2015
Manual Update translated not yet Jul 15, 2017
Paper Update index.md May 24, 2015
Web
.gitignore More ignore Aug 4, 2014
OMakefile Add figure. Jan 6, 2014
OMakeroot Add figure. Jan 6, 2014
README.md Start to translate ATS papers Jun 10, 2014