dtlc

dependently-typed lambda calculus toy
git clone git://git.rr3.xyz/dtlc
Log | Files | Refs | README | LICENSE

node.ml (126B)

      1 (* Nodes are simply data together with a location. *)
      2 
      3 type 'a node = {loc: Loc.t; data: 'a}
      4 
      5 let (@$) loc data = {loc; data}