Changeset 3511 for LTS


Ignore:
Timestamp:
Sep 26, 2014, 6:44:28 PM (5 years ago)
Author:
sacerdot
Message:

...

File:
1 edited

Legend:

Unmodified
Added
Removed
  • LTS/Final.ma

    r3510 r3511  
    103103[2: <EQcostlabs in ⊢ (??%?); % | // ]
    104104qed. 
    105 cases daemon
    106 qed.
     105
     106(* TODO:
     1071. Monoide di costo: eliminare.
     1082. Discorso I/O, fallimento della block-cost, ipotesi di premisurabilita'
     109   sull'assembler
     1103. Integrare la prima passata di Language nel risultato finale
     1114. Chiudere il demone
     1125. Cambi al control flow: Paolo's trick (label = coppia label-pezzo di stato)
     1136. Rappresentabilita' di I, [[ ]] e stati astratti =⇒ instrumentazione
     114*)
Note: See TracChangeset for help on using the changeset viewer.