Skip to content

Commit

Permalink
Fix typo and refer to correct person: xgrommx
Browse files Browse the repository at this point in the history
  • Loading branch information
JordanMartinez committed Sep 12, 2020
1 parent eeb8ecf commit f1c6b62
Show file tree
Hide file tree
Showing 3 changed files with 3 additions and 3 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -43,7 +43,7 @@ fold f = go where
Impure t -> f (go <$> t) -- Add
```

| xgromxx's code | Our code |
| xgrommx's code | Our code |
| - | - |
| `Free ExprF a`<br>or<br>`Expr` | `Expression (Coproduct Value ExprF) a`
| `lit` | `value`
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@ My code diverges from the original gist's code by

The following table will help you understand the upcoming links to code:

| Our Code | xgromxx's code |
| Our Code | xgrommx's code |
| - | - |
| `newtype Expression f` | [`newtype Mu f`](https://pursuit.purescript.org/packages/purescript-fixed-points/5.1.0/docs/Data.Functor.Mu#t:Mu)
| `Expression (VariantF t)` | `MuV t`
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ This folder will explain the basic idea of `purescript-run` and then solve the p

## What is `Run`?

If you recall, `xgromxx` mentions [`purescript-run`](https://pursuit.purescript.org/packages/purescript-run/2.0.0) in [a comment in `ADT8.purs`](https://github.com/xgrommx/purescript-from-adt-to-eadt/blob/master/src/ADT8.purs#L11). (The ReadMe of this library provides an overview of the ideas we've explained here.)
If you recall, `xgrommx` mentions [`purescript-run`](https://pursuit.purescript.org/packages/purescript-run/2.0.0) in [a comment in `ADT8.purs`](https://github.com/xgrommx/purescript-from-adt-to-eadt/blob/master/src/ADT8.purs#L11). (The ReadMe of this library provides an overview of the ideas we've explained here.)

What is `purescript-run`? Why would we use that over `Free`? There are three reasons.

Expand Down

0 comments on commit f1c6b62

Please sign in to comment.