Agda というか依存型が(主に自分の周りで)流行っている。id:yoshihiro503 さんが Agda にはまっていて頼もしい感じなのでいろいろ教えてもらえればと思います。
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。