diff options
| author | Thomas Letan <lthms@soap.coffee> | 2020-07-12 10:26:48 +0200 |
|---|---|---|
| committer | Thomas Letan <lthms@soap.coffee> | 2020-07-12 10:56:47 +0200 |
| commit | b85b9bc80bdb9b068ccfaffdfc975b8b0ba3a5de (patch) | |
| tree | ff66f39ca7cfadbf997a04f242ea0abba35b4811 /site/posts/AlgebraicDatatypes.v | |
| parent | Benefit from cleopatra org-related functions to export org files (diff) | |
Various fixes here and there
Diffstat (limited to 'site/posts/AlgebraicDatatypes.v')
0 files changed, 0 insertions, 0 deletions