idris-geojson (npm): Utilities to query GeoJSON
Keywords: GeoJSON