description0ce01b6fe74ec140b33db45f1a70d22296
last changeTue, 11 Jan 2011 18:31:05 +0000 (18:31 +0000)
shortlog
2011-01-11 Joey CapperAdded paragraphs and examples of intuitition behind... master
2011-01-11 Joey CapperNotational conventions updated.
2011-01-11 Joey CapperAnother \Rightarrow -> \tyRightarrow that was missed...
2011-01-11 Joey Capper\Rightarrow -> \tyRightarrow in soundness statements.
2011-01-11 Joey CapperTweaks to typing rules.
2011-01-11 Joey CapperChanges \tau to \nu in T-SigRel.
2011-01-11 Joey CapperPreliminary changes to typing rules.
2011-01-10 Joey CapperMinor tweaks to examples of subst.
2011-01-10 Joey CapperSubstitution example. Alterations to semantic rules.
2011-01-10 Joey CapperConstraints are sets again. Removed a parameter from...
2011-01-10 Joey CapperExplanation of constraints generated for par.
2011-01-10 Joey CapperAdded concrete par example from grammar. Added further...
2011-01-10 Joey CapperExplicit balance constraint added. Comments on determin...
2011-01-07 Joey CapperChanges to definitions of constraint criteria. Total...
2011-01-06 Joey CapperUpdate to causality section. Bool -> Prop in predicate...
2010-11-09 Joey CapperFinished off future work section.
...
heads
5 years ago master