> Hi everybody, > I am Kirupashankar Sampath, a grad student at CSU Fresno, CA. I am > interested in Ur and have started a project of proving the safety theorems > of Ur language. I am not able to install Ur from the instructions on the > home page. I have a windows vista.....could anybody please give me a step > by step procedure for the installation. Thank you. >
Ur/Web has been packaged for the Linux distribution NixOS ( http://nixos.org/ ) ; one quick and fairly simple path to installing Ur/Web would be to install NixOS and then Ur/Web via the Nix package manager. > Kirupashankar Sampath > 7907 N Backer Ave, > Fresno, CA 93720. > Ph: 817-715-5576 _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
