agdaPackages.agda2hs-base
agda2hs-base 1.4
Standard library for compiling Agda code to readable Haskell
https://github.com/agda/agda2hsMIT License
programs: -
Maintainers
Platforms (46)
armv6l-netbsdmicroblaze-linuxmips64el-linuxpowerpc-linuxpowerpc64le-linuxi686-openbsdx86_64-redoxarmv6l-linux
Install
Copy into your configuration
NixOS (configuration.nix)
environment.systemPackages = with pkgs; [ agdaPackages.agda2hs-base ];
Ad-hoc shell
nix-shell -p agdaPackages.agda2hs-base
Flake (nix run)
nix run nixpkgs#agdaPackages.agda2hs-base