File | Mode | Size |
---|---|---|
.github | ||
impredicative_set | ||
.gitignore | -rw-r--r-- | 82 bytes |
.travis.yml | -rw-r--r-- | 1.6 KB |
LICENSE.txt | -rw-r--r-- | 25.9 KB |
Makefile | -rw-r--r-- | 624 bytes |
README.md | -rw-r--r-- | 6.1 KB |
_CoqProject | -rw-r--r-- | 544 bytes |
altprob_model.v | -rw-r--r-- | 9.8 KB |
category.v | -rw-r--r-- | 42.3 KB |
coq-monae.opam | -rw-r--r-- | 1.4 KB |
dune | -rw-r--r-- | 261 bytes |
dune-project | -rw-r--r-- | 205 bytes |
example_array.v | -rw-r--r-- | 2.3 KB |
example_monty.v | -rw-r--r-- | 22.8 KB |
example_nqueens.v | -rw-r--r-- | 18.1 KB |
example_quicksort.v | -rw-r--r-- | 12.8 KB |
example_relabeling.v | -rw-r--r-- | 7.5 KB |
example_spark.v | -rw-r--r-- | 9.9 KB |
example_transformer.v | -rw-r--r-- | 6.2 KB |
fail_lib.v | -rw-r--r-- | 23.6 KB |
fmt_lifting.v | -rw-r--r-- | 21.2 KB |
gcm_model.v | -rw-r--r-- | 26.7 KB |
hier.png | -rw-r--r-- | 41.3 KB |
hierarchy.v | -rw-r--r-- | 73.5 KB |
index.md | -rw-r--r-- | 2.2 KB |
meta.yml | -rw-r--r-- | 7.4 KB |
monad_composition.v | -rw-r--r-- | 10.3 KB |
monad_lib.v | -rw-r--r-- | 21.9 KB |
monad_model.v | -rw-r--r-- | 60.2 KB |
monad_transformer.v | -rw-r--r-- | 35.8 KB |
monae_lib.v | -rw-r--r-- | 4.2 KB |
parametricity_codensity.v | -rw-r--r-- | 5.7 KB |
proba_lib.v | -rw-r--r-- | 19.5 KB |
proba_monad_model.v | -rw-r--r-- | 2.9 KB |
smallstep.v | -rw-r--r-- | 29.6 KB |
state_lib.v | -rw-r--r-- | 22.3 KB |
trace_lib.v | -rw-r--r-- | 4.2 KB |