diff options
| author | Théo Zimmermann | 2017-11-08 15:32:12 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2017-11-09 09:09:22 +0100 |
| commit | 25904a7915c7586d4e39416d6cc87d433ff8f95e (patch) | |
| tree | 4b82099ad6dd11dff25e78bddbef0cb2083d87dc /kernel/inductive.ml | |
| parent | 360d28670511d51c2b63692c9ce0f7ebe5f1ae3e (diff) | |
Introduce default.nix for Nix users.
This file can be used to get in an environment ready to compile Coq
(with `nix-shell`) or to compile and install Coq (with `nix-build`).
Diffstat (limited to 'kernel/inductive.ml')
0 files changed, 0 insertions, 0 deletions