diff options
| author | Thomas Letan <lthms@soap.coffee> | 2021-08-29 14:07:24 +0200 |
|---|---|---|
| committer | Thomas Letan <lthms@soap.coffee> | 2021-08-29 14:07:24 +0200 |
| commit | f787fd9f8e1ecc63b0a3d13b5e4a3eb5d0284ca8 (patch) | |
| tree | f96634a580c6e963cf362551b151bd7c0ee8c30e /site/opinions/MonadTransformers.org | |
| parent | Fix a Coq warning (diff) | |
Put the margin note on the left and center the text
Diffstat (limited to 'site/opinions/MonadTransformers.org')
0 files changed, 0 insertions, 0 deletions