Installation

Prerequisites

Make sure you have the following tools installed on your system:

• Nix

  
  

Installation

Install the Nix overlay:

$ git clone https://github.com/eta-lang/eta-nix.git
$ mkdir -p ~/.config/nixpkgs/overlays
$ ln -s $PWD/eta-nix/overlay.nix ~/.config/nixpkgs/overlays/eta-overlay.nix

To obtain an environment with eta and the lens package available:

$ nix-shell -p 'etaPackages.etaWithPackages (p: [ p.lens ])'

Jump to Module

Click here to jump to the basics module.