A Corpus

math/**

math/category-theory

• Category Theory and Economy

math/type-theory/hott

• Homotopy Type Theory

programming/**

programming

• side effects
• pure function

programming/algorithms/sort

• stable sort

programming/languages

• Nix
• Python
• Dhall

programming/languages/nix

• Nix set builtins
• Nix list builtins
• Nix path builtins
• Nix string builtins
• Nix boolean builtins
• Nix numeric builtins
• Nix file types
• Nix path function
• filterSource
• Nix import keyword
• fetchTarball
• Nix builtins
• Components of a Nix derivation
• Nix operators
• Nix with-expression
• Nix assertions
• Nix conditionals
• Nix functions
• Nix let expressions
• Nix recursive sets
• or keyword
• Nix lists
• Nix sets
• Nix antiquotation
• Nix paths
• Nix strings
• Nix values
• callPackage
• inherit keyword
• Nix derivations
• Function arguments in Nix
• Hello, Nix!

programming/markup

• YAML

devops/**

devops/configuration-languages

• Nix derivations
• Function arguments in Nix
• Hello, Nix!
• Nix
• Ansible
• JSON
• YAML
• Dhall

devops/configuration-languages/nix

• Nix file types
• Nix path function
• filterSource
• fetchGit
• fetchTarball
• Nix builtins
• fixed-output derivations
• Uncommon Nix derivation attributes
• Components of a Nix derivation
• Nix generic builder
• callPackage
• inherit keyword
• Nix builder script
• Nix store

devops/cost-management

• Cloud Custodian

devops/packaging/nix

• Nix file types
• filterSource
• fetchGit
• Nix import keyword
• fetchTarball
• Nix builtins
• fixed-output derivations
• Uncommon Nix derivation attributes
• Components of a Nix derivation
• Nix generic builder
• Building Nix derivations
• callPackage
• Nix builder script
• Nix derivations
• Hello, Nix!

data/**

data/format

• JSON
• YAML
• Dhall