Added concrete par example from grammar. Added further elaboration on example. Other...
[firstyearreport:firstyearreport.git] / report.lhs
2011-01-06 Joey CapperUpdate to causality section. Bool -> Prop in predicate...
2010-11-09 Joey CapperCompleted missing sections of Related Work.
2010-11-04 Joey CapperTweaks and corrections.
2010-11-01 Joey CapperAbstract written.
2010-10-27 Joey CapperFuture work section draft: Comound data, meta-theory...
2010-10-25 Joey CapperFurther work on refined types section. Mostly copy...
2010-10-22 Joey CapperFurther work on technical section 5. Slight reworking...
2010-10-21 Joey CapperAdded overview material to section 5 (our type system...
2010-09-27 Joey CapperTweaks to Modelica model appearance.
2010-09-27 Joey CapperFurther work on extends/redeclare for Modelica. Change...
2010-09-23 Joey CapperFurther work on Modelica section.
2010-09-22 Joey CapperFurther paragraphs on Modelica. Description of classes...
2010-09-17 Joey CapperFirst draft of FHM section finished. Added comments...
2010-09-16 Joey CapperInitial comments on elaboration in Hydra. Linked refere...
2010-09-16 Joey CapperParallel composition example. Added twoParRes diagram.
2010-08-31 Joey CapperSome touches to section 2. Most (if not all) the requir...
2010-08-31 Joey CapperFurther work on "Modular Systems" section. A couple...
2010-08-27 Joey CapperAdded section labels. Extended introduction by 3 paragr...
2010-08-26 Joey CapperBegan introduction section. First 3 paragraphs explaini...
2010-08-25 Joey CapperRemoved old title page related commands (they were...
2010-08-25 Joey CapperTitle page modications. (Added title, author, instituti...
2010-08-25 Joey CapperInitial commit. Literal Haskell files and brief guideli...