サクサク読めて、アプリ限定の機能も多数！
タグをすべて表示
タグの絞り込みを解除
ランキング
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
https://github.com/jats-ug/translate/blob/master/Web/cs.likai.org/ats/ml-programmers-guide-to-ats.md
1
K-Medoids Clustering Using ATS: Unleashing the Power of Templates
Temptory · Template Factory
https://github.com/gallettilance/magnificATS/tree/master/INTRO
http://www.ats-lang.org/MYDATA/Xanadu-lics00.pdf
GitHub - allanlw/ATS-guide: Cheatsheet for theorem proving in ATS
Index
Using User Defined Fixity
Welcome to ATS’ documentation! — ATS Knowledge 0.1 documentation
GitHub - steinwaywhw/ats-docs-and-tips: A repository to hold docs and tips for ATS
GitHub - doublec/ats-reference: Unofficial reference documentation for ATS programming language libraries
