darcs patch: add descriptions field for Layouts, to allow querying ...
24 Oct
2007
24 Oct
'07
10:41 p.m.
Hi all, This is intended to be used with a XPrompt module for changing layouts, and for a replacement for Select, which won't require the use of the Layout and existentials, and should therefore simplify the code, removing the need for the stupid SerializedLayouts. David Wed Oct 24 07:38:58 PDT 2007 David Roundy <droundy@darcs.net> * add descriptions field for Layouts, to allow querying what layouts are available.
6867
Age (days ago)
6867
Last active (days ago)
0 comments
1 participants
participants (1)
-
David Roundy