urweb - functional programming language for web programming

	Commit message (Collapse)	Author	Age
...
*	Top.Fold.mp	Adam Chlipala	2009-02-24
\|
*	Top.Fold.concat elaborates	Adam Chlipala	2009-02-24
\|
*	Switch to TDisjoint from CDisjoint; still need to implement obligation ↵	Adam Chlipala	2009-02-24
\| \| \| \|	generation at EDisjoint uses
*	demo/sum working with manual folders	Adam Chlipala	2009-02-22
\|
*	Start of kind polymorphism, up to the point where demo/hello elaborates with ↵	Adam Chlipala	2009-02-22
\| \| \| \|	updated Basis/Top
*	"Hello world" compiles, after replacing type-level fold with map	Adam Chlipala	2009-02-21
\|
*	Combine lib* directories	Adam Chlipala	2009-01-13