update for objectionary

deemp · deemp · commit fc374dc51675 · 2022-07-28T18:26:03.000+05:00
diff --git a/README.md b/README.md
@@ -7,7 +7,7 @@ It is combined with [EO](https://github.com/objectionary/eo) editor. EO is based
 
 ## Usage
 
-- The online playground is available [here](https://br4ch1st0chr0n3.github.io/try-phi/?editor=phi&snippet=%5B%0A%20%20a%20-%3E%203%2C%0A%20%20b%20-%3E%20%5E0.a%0A%5D.b)
+- The online playground is available [here](https://www.objectionary.com/try-phi/?editor=phi&snippet=%5B%0A%20%20a%20-%3E%203%2C%0A%20%20b%20-%3E%20%5E0.a%0A%5D.b)
 
 ## Components
 
diff --git a/front/dev/index.html b/front/dev/index.html
@@ -19,7 +19,7 @@
 </head>
 
 <body>
-  <a class="github-fork-ribbon" href="https://github.com/br4ch1st0chr0n3/try-phi" data-ribbon="Fork me on GitHub!"
+  <a class="github-fork-ribbon" href="https://github.com/objectionary/try-phi" data-ribbon="Fork me on GitHub!"
     title="Fork me on GitHub!">Fork me on GitHub!</a>
   <div>
     <script type="module" src="./index.js"></script>
diff --git a/front/src/Phi.purs b/front/src/Phi.purs
@@ -475,7 +475,7 @@ ics =
       , { x: getName TWHNF
         , y:
             [ { pref: Nothing
-              , href: Just "https://github.com/br4ch1st0chr0n3/try-phi/blob/c738694f771c10ffa11f34fa23bf54220d2653c7/src/Phi/Minimal/State.hs#L129"
+              , href: Just "https://github.com/objectionary/try-phi/blob/9eb9879c46decc4eb1e6f34beaa6a2736224b649/back/language-utils/phi-utils/src/Phi/Minimal/Model.hs#L156"
               , txt: Just "Code"
               }
             , { pref: Just "Results from"
@@ -491,7 +491,7 @@ ics =
       , { x: getName TNF
         , y:
             [ { pref: Nothing
-              , href: Just "https://github.com/br4ch1st0chr0n3/try-phi/blob/c738694f771c10ffa11f34fa23bf54220d2653c7/src/Phi/Minimal/State.hs#L155"
+              , href: Just "https://github.com/objectionary/try-phi/blob/9eb9879c46decc4eb1e6f34beaa6a2736224b649/back/language-utils/phi-utils/src/Phi/Minimal/Model.hs#L183"
               , txt: Just "Code"
               }
             , { pref: Just "Results from"
@@ -507,7 +507,7 @@ ics =
               , txt: Nothing
               }
             , { pref: Nothing
-              , href: Just "https://github.com/br4ch1st0chr0n3/try-phi/blob/c738694f771c10ffa11f34fa23bf54220d2653c7/src/Phi/Minimal/State.hs#L98"
+              , href: Just "https://github.com/objectionary/try-phi/blob/9eb9879c46decc4eb1e6f34beaa6a2736224b649/back/language-utils/phi-utils/src/Phi/Minimal/Pretty.hs#L92"
               , txt: Just "Code"
               }
             , { pref: Just "Shows steps of"
@@ -519,7 +519,7 @@ ics =
       , { x: getName TCBNWithTAP
         , y:
             [ { pref: Nothing
-              , href: Just "https://github.com/br4ch1st0chr0n3/try-phi/blob/c738694f771c10ffa11f34fa23bf54220d2653c7/src/Phi/Minimal/Machine/CallByName.hs#L85"
+              , href: Just "https://github.com/objectionary/try-phi/blob/9eb9879c46decc4eb1e6f34beaa6a2736224b649/back/language-utils/phi-utils/src/Phi/Minimal/Pretty.hs#L100"
               , txt: Just "Code"
               }
             , { pref: Just "TAP machine"
@@ -535,7 +535,7 @@ ics =
       , { x: getName TCBNWithGraph
         , y:
             [ { pref: Nothing
-              , href: Just "https://github.com/br4ch1st0chr0n3/try-phi/blob/c738694f771c10ffa11f34fa23bf54220d2653c7/src/Phi/Minimal/Machine/CallByName/Graph.hs#L77"
+              , href: Just "https://github.com/objectionary/try-phi/blob/9eb9879c46decc4eb1e6f34beaa6a2736224b649/back/language-utils/phi-utils/src/Phi/Minimal/Pretty.hs#L146"
               , txt: Just "Code"
               }
             , { pref: Just "It does apply"
