| Mode | Name | Size | |
|---|---|---|---|
| d--------- | .ci | 267 | logplain |
| d--------- | .completion | 129 | logplain |
| d--------- | .docker | 131 | logplain |
| -rw-r--r-- | .gitattributes | 897 | logplain |
| -rw-r--r-- | .gitignore | 790 | logplain |
| -rw-r--r-- | .gitmodules | 0 | logplain |
| d--------- | .hooks | 74 | logplain |
| -rw-r--r-- | .ignore | 31 | logplain |
| -rw-r--r-- | .merlin | 555 | logplain |
| d--------- | .scripts | 579 | logplain |
| -rw-r--r-- | .travis.yml | 585 | logplain |
| -rw-r--r-- | CHANGES.md | 33444 | logplain |
| -rw-r--r-- | CONTRIBUTING.md | 5326 | logplain |
| -rw-r--r-- | INSTALL.md | 12979 | logplain |
| -rw-r--r-- | LICENSE | 10751 | logplain |
| -rw-r--r-- | LICENSE-fsharp.txt | 9207 | logplain |
| -rw-r--r-- | Makefile | 1066 | logplain |
| -rw-r--r-- | README.md | 4116 | logplain |
| -rw-r--r-- | _tags | 2434 | logplain |
| d--------- | bin | 119 | logplain |
| -rwxr-xr-x | build_local.sh | 1886 | logplain |
| d--------- | contrib | 37 | logplain |
| d--------- | doc | 75 | logplain |
| d--------- | examples | 1797 | logplain |
| -rw-r--r-- | fsharp-development.md | 4328 | logplain |
| d--------- | src | 937 | logplain |
| d--------- | ucontrib | 138 | logplain |
| d--------- | ulib | 9923 | logplain |
| -rw-r--r-- | version.txt | 15 | logplain |
 |
index : FStar | |
| El lenguaje de programación y verificación F* | mirror |
| summaryrefslogtreecommitdiff |