Judgements and Propositions
We state “A is true”, then “A” is a proposition, and “A is true” as a whole is a judgement.
Recent Posts
Sum and Product Types
Products
Basic Programming Language Theory
Total Programming Language
Garbage Collection
Variable Storage and Lifetime
Remote Shell Session Setup: iTerm2+tmux+mosh
Requirements and Comments
Matrix Game Theory
Matrix Game: Two players, each makes a choice secretly and play simutaneously. And there is payoff.