Some writings about a type system for nix
TeX Makefile Nix
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
combined
common
grammar
semantics
typing
.chktexrc
.gitignore
Makefile
README.md
default.nix
mathpartir.sty
references.bib
release.nix

README.md

This paper describes a WIP type system for nix.

See the rendered version here