mention that shortcut refinement doesn't have annotations
Update David's bio
example of named arg to variadic param
missing .project file
add .rvmc to .gitignore
Eclips settings file to default to UTF8
better fun names
#92 is fixed
minor
document important gotcha
discuss disjointness + coverage fixing #202
sp
missing connective
document (super of Type) syntax
improve try
improve example
add to .gitignore
document another gotcha that seems to bite lots of people
disable try
Minor fix to \i and \I in the reference