Changeset 1253 for src/common


Ignore:
Timestamp:
Sep 22, 2011, 2:57:21 PM (8 years ago)
Author:
mulligan
Message:

uses.ma finished

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/common/Graphs.ma

    r1082 r1253  
    2020definition graph : Type[0] → Type[0] ≝ identifier_map LabelTag.
    2121
     22definition graph_fold ≝
     23  λA, B: Type[0].
     24  λf.
     25  λgraph: graph A.
     26  λseed: B.
     27  match graph with
     28  [ an_id_map map ⇒ fold A B 16 f map seed
     29  ].
     30
    2231axiom graph_add:
    2332  ∀A: Type[0].
Note: See TracChangeset for help on using the changeset viewer.