Added concrete par example from grammar. Added further elaboration on example. Other...
[firstyearreport:firstyearreport.git] / modular-systems.lhs
2011-01-06 Joey CapperUpdate to causality section. Bool -> Prop in predicate...
2010-11-03 Joey CapperSuggested corrections up to page 21.
2010-11-02 Joey CapperCorrections to the first 8 pages.
2010-10-21 Joey CapperSection on causality added. Redundant material removed...
2010-10-20 Joey CapperSection on Nilsson's structural types.
2010-10-18 Joey CapperTweaks and corrections throughout the first 4 sections.
2010-09-30 Joey CapperFurther work on equation-variable balance 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-06 Joey CapperMinor corrections to modular system section. Rewrite...
2010-08-31 Joey CapperSome touches to section 2. Most (if not all) the requir...
2010-08-31 Joey CapperRefences to solvability properties add to section 2...
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-25 Joey CapperInitial commit. Literal Haskell files and brief guideli...