2024.04.25
https://gyazo.com/616117199f3e10acbcee71404b554b6f
memo
Interesting operators in Haskell they obey modal axioms
Memo
思った
線形論理とかでは一般的な考え方なのだろうけれども一般的にはプリミティヴな論理演算子$ ⊥,→,¬,∧,∨も0,1,2アリティの様相演算子として捉え直してみましょうということを一度も自分で思ったことがなかった メモ
思った
研究室の人が勝手に構成主義の萌芽を生やしていてすごかった