/nix-emacs-agda

a nix template for agda projects (with emacs overlay0

Primary LanguageNixMIT LicenseMIT

Stargazers