Giters

KeenS / zenn.dev

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

typo: prease -> please

eagle-k opened this issue · comments

commented

books/introduction-to-idris/what-is-idris.md内です。