log lib/ur/basis.urs

age author description
2009-02-21 Adam Chlipala "Hello world" compiles, after replacing type-level fold with map
2009-01-13 Adam Chlipala Combine lib* directories base lib/basis.urs@354bec2e46a8