Add ackowledgements to readme

Gbury · Jul 3, 2023 · 42491ce · 42491ce
1 parent 7e437a5
commit 42491ce
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -73,3 +73,8 @@ Supported languages
 | zf (zipperposition)   | :heavy_check_mark:  | :heavy_check_mark:  |                     |
 
 
+Acknowledgements
+----------------
+
+This work is currently in part funded by [OCamlPro](https://ocamlpro.com)
+