Differenze

Queste sono le differenze tra la revisione selezionata e la versione attuale della pagina.

--- magistraleinformaticanetworking:spm:ocaml-intro [31/03/2011 alle 08:19 (14 anni fa)] – Marco Danelutto
+++ magistraleinformaticanetworking:spm:ocaml-intro [31/03/2011 alle 08:33 (14 anni fa)] (versione attuale) – [SPM resources] Marco Danelutto
@@ Linea 46: / Linea 46: @@
 Here you'll find Ocaml code related to the SPM course.
-  - [[http://backus.di.unipi.it/~marcod/SPM1011/dump2903.txt|terminal dump]] of the lesson given on Tue, March 29, 4pm
+  - [[skelfsem|Sample skeleton set functional semantics]]  - [[http://backus.di.unipi.it/~marcod/SPM1011/dump2903.txt|terminal dump]] of the lesson given on Tue, March 29, 4pm
   - float aritmetic operators are indicated with a dot after the operator symbol (this was asked during March 29 lesson):
 <code>
@@ Linea 53: / Linea 53: @@
 #
 </code>
-  - [[skelfsem!Sample skeleton set functional semantics]]