We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents 6cf8561 + a27360d commit d94ae72Copy full SHA for d94ae72
content/home/about.md
@@ -21,7 +21,7 @@ wide array of domains within computer science.
21
22
Notable works from Cornell include:
23
[PL/C](https://en.wikipedia.org/wiki/PL/C),
24
-[NuPRL](http://www.nuprl.org),
+[NuPRL](https://nuprl-web.cs.cornell.edu/),
25
[Typed Assembly Language](https://www.cs.cornell.edu/talc),
26
[Kleene Algebra with Tests](https://www.cs.cornell.edu/~kozen/Papers/kat.pdf),
27
[Cyclone](https://cyclone.thelanguage.org),
0 commit comments