diff options
Diffstat (limited to 'stdlib/source/documentation/lux/extension.lux')
-rw-r--r-- | stdlib/source/documentation/lux/extension.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/documentation/lux/extension.lux b/stdlib/source/documentation/lux/extension.lux index 702d82bd3..737d19387 100644 --- a/stdlib/source/documentation/lux/extension.lux +++ b/stdlib/source/documentation/lux/extension.lux @@ -26,22 +26,22 @@ (.List $.Module) ($.module /._ "" - [($.documentation /.analysis + [($.definition /.analysis "Mechanism for defining extensions to Lux's analysis/type-checking infrastructure." [(analysis ("my analysis" self phase archive [pass_through <code>.any]) (phase archive pass_through))]) - ($.documentation /.synthesis + ($.definition /.synthesis "Mechanism for defining extensions to Lux's synthesis/optimization infrastructure." [(synthesis ("my synthesis" self phase archive [pass_through <analysis>.any]) (phase archive pass_through))]) - ($.documentation /.generation + ($.definition /.generation "" [(generation ("my generation" self phase archive [pass_through <synthesis>.any]) (phase archive pass_through))]) - ($.documentation /.declaration + ($.definition /.declaration "" [(declaration ("my declaration" self phase archive [parameters (<>.some <code>.any)]) (do phase.monad |