Idris の環境構築をする（Mac OS）
こんにちは, ねりあです. この記事は Idris という言語についての記事になります. 僕は別件で依存型に関する記事を書いていたんですが, その途中で 「依存型の話を書いてるのに Idris ...
0
0
Comment0
Qiita is a knowledge sharing service for engineers.
- You can follow users and tags
- You can stock useful information
- You can make edit suggestions for articles