diff --git a/README.md b/README.md index 37727aa..c9bf320 100644 --- 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