Skip to content

Instantly share code, notes, and snippets.

@beezee

beezee/shipments.pi

Created December 17, 2019 17:25
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save beezee/e9cd4fee2af25ba638b2fb0abdd1e811 to your computer and use it in GitHub Desktop.
Save beezee/e9cd4fee2af25ba638b2fb0abdd1e811 to your computer and use it in GitHub Desktop.
Download ZIP
shipments-example
Raw
shipments.pi
new geolocations, milestones. (Shipments[geolocations, milestones] | Orders[milestones] | OceanInsights[geolocations])
Shipments[g, m] := g(geo).Shipments_Recv_Geolocation[g, m, geo] + tau.new milestone.Shipments_Send_Milestone[g, m, milestone]
Shipments_Recv_Geolocation[g, m, geo] := tau.Shipments[g, m]
Shipments_Send_Milestone[g, m, ms] := m<ms>.Shipments[g, m]
Orders[m] := m(milestone).Orders_Recv_Milestone[m, milestone]
Orders_Recv_Milestone[m, ms] := tau.Orders[m]
OceanInsights[g] := tau.new geolocation.OceanInsights_Geolocation[g, geolocation]
OceanInsights_Geolocation[g, geo] := g<geo>.OceanInsights[g]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment