diff --git a/src/posts/2022-10-16-the-arrow-operator.md b/src/posts/2022-10-16-the-arrow-operator.md index 24f8297..95bda34 100644 --- a/src/posts/2022-10-16-the-arrow-operator.md +++ b/src/posts/2022-10-16-the-arrow-operator.md @@ -1,11 +1,11 @@ --- title: "The nix arrow operator" -keywords: nix, language, programming-language +keywords: nix, short, language, programming-language image: './images/nix_banner.png' series: "Nix shorts" --- -There is a specal operator in nix, written as `->`. It is not a c dereference struct pointer operator, nor is it a haskell function type definition. It is a boolean operator, which represents the "implies arrow" from [propositional logic][prop-log]. This is especially useful in nix, because of its usage in modules. +There is a specal operator in nix, written as `->`. It is not a [C dereference struct pointer operator][c-deref-struct], nor is it a [haskell function type definition][haskell-function]. It is a boolean operator, which represents the "implies arrow" from [propositional logic][prop-log]. This is especially useful in nix, because of its usage in modules. ## The `myService` module @@ -53,4 +53,6 @@ in { } ``` +[c-deref-struct]: https://www.digitalocean.com/community/tutorials/arrow-operator-c-plus-plus +[haskell-function]: http://learnyouahaskell.com/functors-applicative-functors-and-monoids [prop-log]: https://iep.utm.edu/prop-log/