From 8ea4705c174425e545b4a0c1cac67fe15b340ddf Mon Sep 17 00:00:00 2001 From: Matthieu Dubuget Date: Sat, 18 Jan 2020 09:18:21 +0100 Subject: [PATCH] Readme, and public executable --- README.md | 4 ++++ bin/dune | 1 + 2 files changed, 5 insertions(+) diff --git a/README.md b/README.md index b3759e0..ca20268 100644 --- a/README.md +++ b/README.md @@ -7,3 +7,7 @@ Some references: - https://leconjugueur.lefigaro.fr/frlesnombres.php - https://www.miakinen.net/vrac/nombres - https://www.dcode.fr/ecriture-nombre-lettres + + +Provided as a 1-function library, and a basic command-line utility (`nbr` — will +certainly be renamed to something longer and less likely to name clash). diff --git a/bin/dune b/bin/dune index d590357..c7f19cb 100644 --- a/bin/dune +++ b/bin/dune @@ -1,3 +1,4 @@ (executable (name nbr) + (public_name nbr) (libraries nombres))