Change History for TypeLevelReasoning

Version Date Author Comment
12 6 years goldfire
11 6 years simonpj
10 6 years goldfire
9 7 years heisenbug some background
8 7 years heisenbug mention "deriving"
7 7 years goldfire
6 7 years heisenbug we have a branch
5 7 years shelarcy fix typo
4 7 years heisenbug improve suggestion
3 7 years simonpj
2 7 years heisenbug suggest
1 7 years goldfire