Skip to content

mbivert/nix-series-code

Repository files navigation

Introduction

This git repository contains code presented in a series of articles introducing functional programming via Nix's language:

  1. On Nix's Language: Introduction;
  2. On Nix's Language: Recursive Functions;
  3. On Nix's Language: Closures;
  4. On Nix's Language: Pragmatism, laziness;
  5. On Nix's Language: Mathematical Expressions, Brainf*ck;
  6. On Nix's Language: Lambda Calculus Interpreter.

Note: Some of the code doesn't compile, on purpose (e.g. hw1).

Note: You can run all (automated) tests with make tests.

Note: lambda/ essentially contains lambda.nix and lambda_test.nix split in multiple files for easier inclusion in the related article. Furthermore, there's a great deal of redundancies in lambda_test.nix.

Note: For more on the automated tests (ftests.nix) see this article.