Last active
January 24, 2025 17:29
-
-
Save jakehamilton/6d5c5e321603a6ac6900446fb8ff3893 to your computer and use it in GitHub Desktop.
sample.redacted
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| let Types := import ./types.redacted; | |
| \{ pkgs :: Packages; name :: Types.Name = "Default" } -> | |
| let add := \a :: Number -> \b :: Number -> | |
| let result := a + b; | |
| result; | |
| let greeting := "Hello, ${name}"; | |
| let shell := pkgs.mkShell { | |
| packages = [ | |
| pkgs.hare, | |
| pkgs.bun, | |
| ]; | |
| }; | |
| let destructured := \{ a :: Number; b :: Number = 1 } -> a + b; | |
| let module := \{ pkgs; ... } :: NixosModuleArgs -> { | |
| config = { | |
| environment.systemPackages = @pkgs[ | |
| hare, | |
| ] ++ @pkgs.gnome[ | |
| nautilus, | |
| ]; | |
| }; | |
| }; | |
| { | |
| add; | |
| greeting; | |
| shell; | |
| destructured; | |
| module; | |
| }; |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment