Ignore:
Timestamp:
Mar 12, 2013, 6:51:15 PM (8 years ago)
Author:
piccolo
Message:

little bug fixed in TranslateUtils?.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/joint/TranslateUtils.ma

    r2843 r2855  
    378378[ bret x ⇒ P [ ] x
    379379| bnew f ⇒
    380   ∀r.bind_new_P' R X (λl.P (l @ [r])) (f r)
     380  ∀r.bind_new_P' R X (λl.P (r::l)) (f r)
    381381].
    382382
Note: See TracChangeset for help on using the changeset viewer.