この記事はIdris Advent Calendar 2020の20日目の記事です。先に書いておくとIdrisについての有益な情報は残念ながらこの記事にはあまりないです。Windows機でIdrisを使うにはChocolateyを使うと雑にかつ楽に環境作れるよぐらいでしょうか…。型駆動開発に興…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。