TinaCMS content update

natserract · Aug 15, 2024 · c9b709f · c9b709f
1 parent 9a2b7a9
commit c9b709f
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/content/notes/logic-programming-with-types.mdx b/content/notes/logic-programming-with-types.mdx
@@ -0,0 +1,6 @@
+---
+title: Logic programming with types
+date: 2024-08-14T16:00:00.000Z
+link: 'https://ntrs.nasa.gov/citations/20240010266'
+---
+