((∑[T𝒰]∏A∈T]A≃1
1 years ago
PR 終於進了 agda stdlib 了 😇
README.Data.Vec.Relation...
用來處理不同長度 vector (e.g. n+m vs. m+n) 的 equational reasoning 的 combinators!
latest #6
Ruinland@九局下半
1 years ago
太帥啦
香草香草香
1 years ago
Abby@γ(t)不是yt
1 years ago
立即下載
茶茶
1 years ago
Knife
1 years ago
((∑[T𝒰]∏A∈T]A≃1
1 years ago
2.6.4 出了耶 Changelog for Agda-2.6.4 | Hackage

然後一開始連結那個算是有趕上 stdlib 2.0 喔耶
跟 1.7.2 相比差滿多的
back to top