8000 GitHub - Anderssorby/Nix.lean: Nix expressions and derivations in lean (in development) · GitHub

Repository navigation

Nix.lean

Public

About

Nix expressions and derivations in lean (in development)

11 stars

1 watching

Report repository

Name		Name	Last commit message	Last commit date
src		src
test		test
.envrc		.envrc
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
flake.lock		flake.lock
flake.nix		flake.nix

Repository files navigation

Nix toy implementation in lean

Build with nix build .

Run tests with nix run .#test

About

Nix expressions and derivations in lean (in development)

11 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages

0