• fork
• changes
• patches
• issues

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/

#include "types.h"

uw_Basis_string uw_Random_str(uw_context ctx, uw_Basis_int len);