kodept 0.2.1

Simple compiler with dependent types support in mind
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34

# DO NOT MODIFY
# This file was generated by pre-commit-hooks.nix
{
  "default_stages": [
    "pre-commit"
  ],
  "repos": [
    {
      "hooks": [
        {
          "always_run": false,
          "entry": "/nix/store/2gn9478brc63k4nn7ijfn07qcsk11736-clippy-wrapped/bin/cargo-clippy clippy  --offline  -- ",
          "exclude": "^$",
          "fail_fast": false,
          "files": "\\.rs$",
          "id": "clippy",
          "language": "system",
          "name": "clippy",
          "pass_filenames": false,
          "require_serial": false,
          "stages": [
            "pre-commit"
          ],
          "types": [
            "file"
          ],
          "types_or": [],
          "verbose": false
        }
      ],
      "repo": "local"
    }
  ]
}