Fix links

brownplt · Jun 14, 2017 · d1c5aa8 · d1c5aa8
1 parent ba8b2e8
commit d1c5aa8
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/README.md b/README.md
@@ -2,9 +2,9 @@
 
 This repository contains two projects:
 
-- The [reference implementation](scope-inference/README.html) for
-  "Inferring Scope through Syntactic Sugar", ICFP'17.
-- An [experimental attempt](scope-safe-programming/README) at using
+- The [reference implementation](https://github.com/brownplt/scope-graph/tree/master/scope-inference) for
+  [Inferring Scope through Syntactic Sugar](http://cs.brown.edu/~sk/Publications/Papers/Published/pkw-inf-scope-syn-sugar/), ICFP'17.
+- An [experimental attempt](https://github.com/brownplt/scope-graph/tree/master/scope-safe-programming) at using
   the ideas from the paper to provide a representation of terms in
   Haskell that is *scope safe*, such that unhygienic transformations
-  do not type check.
+  do not type check. (This is not discussed in the paper.)