darcsden :: dbp -> urweb-experiments -> changes

some code using ur/web, a language/web framework based on dependent types (ie, Coq, Agda, etc) - a login mechanism with saltinghttp://www.impredicative.com/ur/

changes