hub.darcs.net :: rdockins

rdockins's repositories

• domains — A Coq library for domain theory (http://rwd.rdockins.name/domains/)
• edison — A Haskell library of efficient data structures (http://rwd.rdockins.name/edison/home/)
• hs-noweb — Haskell library for building Noweb filters
• lambda-shell — Simple shell for evaluating lambda expressions (http://rwd.rdockins.name/lambda/home/)
• shellac — A library for creating read-eval-print shells (http://rwd.rdockins.name/shellac/home/)
• shellac-compatline
• shellac-editline — Editline backend for Shellac (http://rwd.rdockins.name/shellac/home/)
• shellac-readline — Readline backend for Shellac (http://rwd.rdockins.name/shellac/home/)