Giters
KeenS
/
zenn.dev
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
1
Watchers:
3
Issues:
5
Forks:
5
KeenS/zenn.dev Issues
typo: descriminant -> discriminant
Closed
3 years ago
Comments count
1
typo: prease -> please
Closed
3 years ago
子クラスを増やせないようにする方法に言及する
Updated
3 years ago
ファンクタやモナドなどなどの章のサンプルコードでエラーが発生する
Closed
3 years ago
Comments count
1
Sample FizzBuzz code in chapter 1 on the book "Introduction to Idris" never shows "Buzz"
Closed
3 years ago
Comments count
1