icfp-bingo-2017-idris-master.zip
(预估有个11文件)
icfp-bingo-2017-idris-master
index.html
893B
src
Bingo
Bingo.idr
3KB
Web.idr
3KB
RichText.idr
1KB
Main.idr
1KB
Effect
Random
Shuffle.idr
300B
Control
ST
LiftEffect.idr
298B
bingo.ipkg
131B
README.md
838B
Makefile
123B
.gitignore
15B
暂无评论