Tora Blog//tags/theorem-proving

Haskell Proofs

{-# LANGUAGE RankNTypes #-}

-- [Definitions]
-- Not
newtype Not p = Not (forall q. p -> q)

-- …
»

Tags: [ haskell, theorem proving, ]
12月 20日, 2017
Page 1 of 1
Tora Blog ここでの投稿はすべてCC0にします。All posts are licensed under CC0.
Powered by HUGO / Modified from hugo-theme-casper (c) 2015 Valere JEANTET / Using katex (c) 2013-2019 Khan Academy and other contributors