| 2015-03-21 | jim | fix explanation of rejected types | blob | commitdiff |
| 2015-03-21 | jim | replace deleted line | blob | commitdiff | diff to current |
| 2015-03-21 | jim | tweak | blob | commitdiff | diff to current |
| 2015-03-21 | jim | fix System F booleans | blob | commitdiff | diff to current |
| 2015-03-21 | jim | spelling | blob | commitdiff | diff to current |
| 2015-03-21 | jim | markup | blob | commitdiff | diff to current |
| 2015-03-21 | jim | tweak | blob | commitdiff | diff to current |
| 2015-03-21 | jim | add some more | blob | commitdiff | diff to current |
| 2015-03-21 | jim | add some stuff | blob | commitdiff | diff to current |
| 2015-03-21 | jim | more answers | blob | commitdiff | diff to current |
| 2015-03-21 | jim | add some more | blob | commitdiff | diff to current |
| 2015-03-21 | jim | add some answers | blob | commitdiff | diff to current |
| 2015-03-21 | jim | add hints | blob | commitdiff | diff to current |
| 2015-03-21 | jim | create page | blob | commitdiff | diff to current |