Differences

This shows you the differences between two versions of the page.

--- navigation [2024-04-15 18:12] – mh
+++ navigation [2024-04-15 18:17] (current) – mh
@@ Line 41: / Line 41: @@
 === Research ===
-  * [[research:papers | Papers]]
+  * [[http://www.curry-lang.org/papers | Papers]]
 === Miscellaneous ===

/srv/dokuwiki/currywiki/data/pages/navigation.txt · Last modified: 2024-04-15 18:17 by mh

Back to top