ATSプログラミング入門:
PrevNext

III. 依存型を使ったプログラミング

Table of Contents
9. 依存型入門
10. データ型の改良
11. ATS/LF を使った定理証明
12. 定理証明によるプログラミング
PrevHomeNext
例: 静的に確保されたリストをコンストラクトする 依存型入門