Recent Posts
-
Proof ObjectsThe Curry-Howard Correspondence.
-
Smart PointersWith great flexibility comes great responsibility.
-
Maps in Functional ProgrammingDefine data structure as functions.
-
Inductive PropositionsApart from normal "declarative" style, propositions can also be defined *inductively*.
-
CPP FunctionsAs functions are the most common structure in a program, it's worth a visit to it.
-
Propositional Logics in CoqPropositional logic calculus, FP programming with Propositions.