grin -> grepl

Dockerfile

@@ -11,7 +11,7 @@ RUN wget https://github.com/Z3Prover/z3/releases/download/z3-4.8.4/z3-4.8.4.d6df
 # Get a stripped down ubuntu 16.04 for a lean distribution image
 FROM ubuntu:xenial-20190515
 WORKDIR /granule
-COPY --from=build /usr/bin/gr /usr/bin/grin /usr/bin/z3 /usr/bin/
+COPY --from=build /usr/bin/gr /usr/bin/grepl /usr/bin/z3 /usr/bin/
 COPY --from=build /granule /granule
 RUN apt-get update
 # for GHC

examples/further-examples.gr

@@ -1,7 +1,7 @@
 -- This is a stripped down version of `further-examples.md.gr` without all the explanation.
--- But this is useful for experimenting with in `grin`.
+-- But this is useful for experimenting with in `grepl`.
 
--- $ grin
+-- $ grepl
 -- > :l examples/further-examples.gr
 
 pushPair : forall {a : Type, b : Type, k : Coeffect, c : k} . (a × b) [c] -> a [c] × b [c]

examples/intro.gr

@@ -1,10 +1,10 @@
 -- This is a stripped down version of `intro.md.gr` without all the explanation.
--- But this is useful for experimenting with in `grin`, e.g.
+-- But this is useful for experimenting with in `grepl`, e.g.
 
--- $ grin
+-- $ grepl
 -- > :l exmaples/intro.gr
 
--- Grin is a REPL a bit like ghci, so you can run code and inspect types, e.g.
+-- grepl is a REPL a bit like ghci, so you can run code and inspect types, e.g.
 -- > :t id
 -- id : forall a : Type. a -> a
 -- > not True

repl/README.md

@@ -1,4 +1,4 @@
-# `grin`—Granule Interactive
+# `grepl` — Granule repl
 
 A REPL for the Granule language
 
@@ -23,14 +23,14 @@ A REPL for the Granule language
 
 ## Getting Started
 
-To install `grin`, run
+To install `grepl`, run
 ```
 $ stack install
 ```
 
 To launch, run
 ```
-$ grin
+$ grepl
 ```
 
 ## REPL Commands and Use
@@ -160,7 +160,7 @@ The congiuration file contains various variables used for set up of the REPL
 #### Config file creation
 <a id="config-file-creation"></a>
 The configuration file needs to be created by the user.  It needs to be named
-`.grin`.  This file needs to be placed in the home directory
+`.grepl`.  This file needs to be placed in the home directory
 ###### Windows
 ```
 C:\Users\<username>

repl/app/Language/Granule/Main.hs

@@ -259,7 +259,7 @@ buildDef rfv ts ex = Def nullSpanInteractive (mkId (" repl"<>(show rfv)))
 getConfigFile :: IO String
 getConfigFile = do
   hd <- getHomeDirectory
-  let confile = hd <> (pathSeparator:".grin")
+  let confile = hd <> (pathSeparator:".grepl")
   dfe <- doesFileExist confile
   if dfe
     then return confile
@@ -452,7 +452,7 @@ main :: IO ()
 main = do
   someP <- configFileGetPath
   let drp = (lines someP)
-  putStrLn $ "\ESC[34;1mWelcome to Granule interactive mode (grin). Version " <> showVersion version <> "\ESC[0m"
+  putStrLn $ "\ESC[34;1mWelcome to Granule interactive mode (grepl). Version " <> showVersion version <> "\ESC[0m"
   runInputT defaultSettings (loop (0,drp,[],[],M.empty))
    where
        loop :: (FreeVarGen,ReplPATH,ADT,[FilePath] ,M.Map String (Def () (), [String])) -> InputT IO ()

repl/package.yaml

@@ -9,7 +9,7 @@ dependencies:
 - base >=4.10 && <5
 
 executables:
-  grin:
+  grepl:
     main: Language/Granule/Main.hs
     source-dirs: app
     ghc-options: -O3 -W -Werror -Wno-unused-matches