idris-geojson-points (npm): Get an array of all points from a GeoJSON FeatureCollection
Keywords: GeoJSON|points