[Ur] NEW USER NEED HELP WITH INSTALLATION

Karn Kallio tierpluspluslists at gmail.com
Wed Dec 1 00:31:04 EST 2010


> 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



More information about the Ur mailing list