Data.Vec.Equality …

後來還是把改過的東西丟上去了 …現在 Vec 也有 decidable equality 可以用, 加上最近 Agda 上把 DecSetoid 都補上去, 大部分內建的 data structure 都能夠拿來比較相等了?連整數也有大小比較 ..

最近試著從 commutative monoid 構造 abelian group, …

Advertisements

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s