I impredicative.com Ur/web: pure functional, statically typed web programming 104 points dpkgreconfigure 12 years ago 45 comments