Interest: programming, mathematics
Mainly Haskell.
How many instances are there?
https://github.com/viercc/monad-gen/blob/196e2acc0b152e9459d32c437460f9925d0e98b5/Monad(2,2).md
これでいいかも?これは{p,q}から生成された自由ブール代数で、{p,q}を含み(→)で閉じている部分集合
(crossposting between twitter)
Cofree Comonad Comonad
このStranzに"普通"にRepeat, Semialign, Alignのインスタンスを定義すると、Distributivity以外は満たす
様々な目的に使える、日本の汎用マストドンサーバーです。安定した利用環境と、多数の独自機能を提供しています。