Update README.md

idris-lang · Mar 3, 2015 · 214262f · 214262f
1 parent a80bb72
commit 214262f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/README.md b/README.md
@@ -5,6 +5,7 @@ This is an code non-generator for Idris. That is, it's a project which builds
 an idris back end which doesn't actually do anything. You can use this as
 a starting point for a real back end, by:
 
+* Forking this repository (with a more descriptive name)
 * Filling out `src/IRTS/CodegenEmpty.hs`, probably also renaming it
 * Renaming the binary from `idris-emptycg` to something appropriate for
   your back end