summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorQuentin Aristote <quentin@aristote.fr>2023-02-04 21:10:22 +0100
committerQuentin Aristote <quentin@aristote.fr>2023-02-04 21:10:22 +0100
commit781d209b07e685088194418a339d0e3843e9964b (patch)
tree125d40f26a6583289003049c06cde941fad865ff
parentc91a58357700a466aee5135767535136c878e009 (diff)
correct wording in bibli-paris abstract
-rw-r--r--software/software.json2
1 files changed, 1 insertions, 1 deletions
diff --git a/software/software.json b/software/software.json
index c0090a0..d13b757 100644
--- a/software/software.json
+++ b/software/software.json
@@ -1,5 +1,5 @@
[
- {"id":"aristoteBibliparis","abstract":"Spacemacs layer that adds functionnalities to org-mode, allowing for managing reading lists of documents from Paris’ network of libraries.","author":[{"family":"Aristote","given":"Quentin"}],"citation-key":"aristoteBibliparis","genre":"Emacs Lisp","title":"bibli-paris","type":"software","URL":"https://github.com/qaristote/bibli-paris"},
+ {"id":"aristoteBibliparis","abstract":"Spacemacs layer that adds functionnalities to org-mode, enabling the management of reading lists of documents from Paris’ network of libraries.","author":[{"family":"Aristote","given":"Quentin"}],"citation-key":"aristoteBibliparis","genre":"Emacs Lisp","title":"bibli-paris","type":"software","URL":"https://github.com/qaristote/bibli-paris"},
{"id":"aristoteSmtlibbackends2022","abstract":"Haskell library providing low-level functions for SMT-LIB-based interaction with SMT solvers.","author":[{"family":"Aristote","given":"Quentin"}],"citation-key":"aristoteSmtlibbackends2022","genre":"Haskell","issued":{"date-parts":[[2022,12,16]]},"license":"Copyright (c) Tweag I/O Limited.","publisher":"Tweag","title":"smtlib-backends","type":"software","URL":"https://hackage.haskell.org/package/smtlib-backends","version":"0.2"},
{"id":"aristoteWebpage","abstract":"Nix-based static webpage generator.","author":[{"family":"Aristote","given":"Quentin"}],"citation-key":"aristoteWebpage","title":"webpage","type":"software","URL":"https://github.com/qaristote/webpage"}
]