[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