log demo/ref.ur

age author description
2009-04-16 Adam Chlipala Effectness analysis
2009-03-10 Adam Chlipala Avoid any JavaScript when pages don't need it; update demo prose
2008-11-06 Adam Chlipala About to begin optimization of recursive transaction functions
2008-10-27 Adam Chlipala Remove need for '() <-' notation
2008-10-23 Adam Chlipala Fix bug with bringing functor argument instances into scope; Ref demo, minus prose