サクサク読めて、アプリ限定の機能も多数！
項のNormal formをハッシュ化して埋め込んでおくと悪意ある変更に対して強い。またβ同値の範囲でリファクタリングしてもハッシュは変化しない。チューリング完全じゃないからNFは計算で求まる。
ruicc のブックマーク 2017/11/05 05:37
このブックマークにはスターがありません。 最初のスターをつけてみよう！
www.haskellforall.com2017/11/05
Semantic integrity checks are the next generation of semantic versioning The Dhall configuration language just added support for "semantic integrity checks". This post explains what "semantic integ...
3 人がブックマーク・1 件のコメント
＼ コメントが サクサク読める アプリです ／
項のNormal formをハッシュ化して埋め込んでおくと悪意ある変更に対して強い。またβ同値の範囲でリファクタリングしてもハッシュは変化しない。チューリング完全じゃないからNFは計算で求まる。
このブックマークにはスターがありません。
最初のスターをつけてみよう！
Semantic integrity checks are the next generation of semantic versioning
Semantic integrity checks are the next generation of semantic versioning The Dhall configuration language just added support for "semantic integrity checks". This post explains what "semantic integ...
3 人がブックマーク・1 件のコメント
＼ コメントが サクサク読める アプリです ／