You must be logged in to fork a repository.
some code using ur/web, a language/web framework based on dependent types (ie, Coq, Agda, etc) - a login mechanism with salting — http://www.impredicative.com/ur/
new issueno issues!
there don't seem to be any issues for this project.