哲学

scalaz.Leibnizの名前の由来

scalaz 哲学 haskell 数学

scalazに限らずHaskellもしくはCoqなどの定理証明系の言語の文脈でもLeibniz Equalityという言葉出てくると思いますが、その話