| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Ltac101.v | 8923 | logstatsplain |
| -rw-r--r-- | RewritingInCoq.v | 11734 | logstatsplain |
| -rw-r--r-- | StronglySpecifiedFunctions.v | 11606 | logstatsplain |
| -rw-r--r-- | StronglySpecifiedFunctionsProgram.v | 14503 | logstatsplain |
| -rw-r--r-- | extensible-type-safe-error-handling.org | 16945 | logstatsplain |
| -rw-r--r-- | index.html | 626 | logstatsplain |
| -rw-r--r-- | lisp-journey-getting-started.org | 8422 | logstatsplain |
| -rw-r--r-- | monad-transformers.org | 3856 | logstatsplain |