From e9bb947344d347f46f7ceaac7e3c59a279dcc8c1 Mon Sep 17 00:00:00 2001 From: h7x4 Date: Sun, 16 Oct 2022 06:46:47 +0200 Subject: [PATCH] Add some more links to post --- src/posts/2022-10-16-the-arrow-operator.md | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) 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/