FLOLAC 2016
報名資訊
課程簡介
行事曆
函數編程
λ 演算與型別
基礎邏輯
Martin-Löf 型別理論
依值型別編程
邀請演講
特別講座
中文
English
Agda 安裝指南
基本 agda 安裝指南， windows, mac os x 和 linux 版。請直接點選下列連結。
windows
mac
linux
Powered by
Hakyll
PureCSS
Fontawesome