Adding an acknowledgement (#1218)

GRANT-ACKNOWLEDGEMENTS.md

@@ -1,8 +1,14 @@
 # Grant acknowledgements
 
-If you are doing significant work for the agda-unimath library, such as work
-that leads to a preprint, or a conference or journal submission, then we can
-also acknowledge any research grants you are working under on this page.
+The agda-unimath maintainers and contributors are grateful for funding from the
+following grants:
 
-- The [TydiForm project](https://tydiform.fmf.uni-lj.si) (2020-Present). Air
+- The MURI grant (2024-present). US Air Force Office of Scientific Research,
+  award number FA9550-21-1-0009.
+- The [TydiForm project](https://tydiform.fmf.uni-lj.si) (2021-2024). US Air
   Force Office of Scientific Research, award number FA9550-21-1-0024.
+
+If you are doing significant work for the agda-unimath library, such as work
+that leads to a preprint, or a conference or journal submission, please let us
+know so that we can acknowledge any funding and support you are receiving on
+this page.