debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	Hopeful fix for the Great Unification Bug	Adam Chlipala	2010-10-10
\|
*	Flex kinds for type-level tuples; ::_ notation	Adam Chlipala	2010-10-10
\|
*	Consider view declarations while shaking	Adam Chlipala	2010-05-27
\|
*	Changing foldRX to mapX	Adam Chlipala	2010-02-28
\|
*	Make summary unification more conservative; infer implicit arguments after ↵	Adam Chlipala	2009-12-26
\| \| \| \|	applications
*	Adapted existing demos to tuple pattern-matching	Adam Chlipala	2009-10-20
\|
*	Do 'open constraints' automatically; fix sourceless <cselect> monoize bug; ↵	Adam Chlipala	2009-06-02
\| \| \| \|	Monad library module
*	Demo compiles with pattern-matching-fu	Adam Chlipala	2009-05-28
\|
*	Effectness analysis	Adam Chlipala	2009-04-16
\|
*	Enhance table sig item support and get demo compiling again	Adam Chlipala	2009-04-07
\|
*	Kind-polymorphic [fst] and friends	Adam Chlipala	2009-02-26
\|
*	Demos compile again, with manual folders	Adam Chlipala	2009-02-24
\|
*	Debug reverse-engineering unification	Adam Chlipala	2009-02-21
\|
*	Update Crud demo to use local functions	Adam Chlipala	2008-11-20
\|
*	Tree demo working (and other assorted regressions fixed)	Adam Chlipala	2008-11-06
\|
*	Nested demo	Adam Chlipala	2008-11-04
\|
*	Remove need for '() <-' notation	Adam Chlipala	2008-10-27
\|
*	Crud demo	Adam Chlipala	2008-10-23