Differences

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

--- at:tutorial:appendix [2008/07/10 16:22] – added tvcutsem
+++ at:tutorial:appendix [2008/07/10 16:23] – * tvcutsem
@@ Line 502: / Line 502: @@
 In the above code, ''printers'' refers to all nearby objects exported by means of  the ''Printer'' type tag. An more in-depth explanation of ambient references can be found on the [[:research:ambientrefs|research page of ambient references]].
-Ambient references ship with two so-called "implementation modules": the module /.at.ambient.ar_extensional_impl'' amd the module ''/.at.m2mi.ar_intensional_impl''. By default, the extensional implementation is used, but this can be changed by passing the desired implementation module as a parameter to the ''/.at.lang.ambientrefs'' module.
+Ambient references ship with two so-called "implementation modules": the module ''/.at.ambient.ar_extensional_impl'' and the module ''/.at.m2mi.ar_intensional_impl''. By default, the extensional implementation is used, but this can be changed by passing the desired implementation module as a parameter to the ''/.at.lang.ambientrefs'' module.
 ==== Structural Types ====
 ==== Traits ====