GitHub - thufschmitt/tix-papers: Some writings about a type system for nix

Name		Name	Last commit message	Last commit date
Latest commit History 105 Commits
combined		combined
common		common
grammar		grammar
semantics		semantics
typing		typing
.chktexrc		.chktexrc
.gitignore		.gitignore
Makefile		Makefile
README.md		README.md
default.nix		default.nix
mathpartir.sty		mathpartir.sty
references.bib		references.bib
release.nix		release.nix

Repository files navigation

This paper describes a WIP type system for nix.

See the rendered version here

About

Some writings about a type system for nix

Report repository

Releases

No releases published

Packages

No packages published

Languages