search

panrg / path-properties

A Vocabulary of Path Properties
Other
1 stars 3 forks source link

Formalize definitions of path properties #7

Closed renghardt closed 5 years ago

renghardt commented 5 years ago

With path and path element being defined more formally, we should revisit our path properties and perhaps define (some of) them more formally.

I'd like to give this a try and put together a PR sometime this week.

renghardt commented 5 years ago

Closed via #8.