Changeset 1264 for src/LIN/LIN.ma


Ignore:
Timestamp:
Sep 23, 2011, 6:44:20 PM (9 years ago)
Author:
sacerdot
Message:

Almost ported to new Joint syntax.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/LIN/LIN.ma

    r1250 r1264  
    2626     match l' with [ None ⇒ None … | Some l'' ⇒ if eq_identifier … l l'' then Some … x else None ?]) code).
    2727
     28definition lin_function ≝ λglobals. joint_function … (lin_params globals).
     29
    2830definition lin_program ≝ joint_program lin_params.
Note: See TracChangeset for help on using the changeset viewer.