title: Practical Refinement Types and NewTypes author: Chris Brown patat: incrementalLists: true images: backend: w3m wrap: true margins: left: 10
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{ | |
"stac_version": "0.9.0", | |
"stac_extensions": [ | |
], | |
"id": "test-collection", | |
"title": null, | |
"description": "Example collection to post to API", | |
"keywords": [ | |
], |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{ | |
"baseLayer": { | |
"tilejson": "2.2.0", | |
"name": "base", | |
"version": "1.0.0", | |
"scheme": "xyz", | |
"tiles": [ | |
"https://a.tile.openstreetmap.org/{z}/{x}/{y}.png" | |
] | |
}, |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{ | |
"baseLayer": { | |
"tilejson": "2.2.0", | |
"name": "base", | |
"version": "1.0.0", | |
"scheme": "xyz", | |
"tiles": [ | |
"https://a.tile.openstreetmap.org/{z}/{x}/{y}.png" | |
] | |
}, |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{ | |
"baseLayer": { | |
"tilejson": "2.2.0", | |
"name": "base", | |
"version": "1.0.0", | |
"scheme": "xyz", | |
"tiles": [ | |
"https://a.tile.openstreetmap.org/{z}/{x}/{y}.png" | |
] | |
}, |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
openapi: 3.0.1 | |
info: | |
title: Franklin | |
version: 0.0.1 | |
paths: | |
/conformance: | |
get: | |
description: A list of all conformance classes specified in a standard that | |
the server conforms to | |
operationId: conformance |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{ | |
"baseLayer": { | |
"tilejson": "2.2.0", | |
"name": "base", | |
"version": "1.0.0", | |
"scheme": "xyz", | |
"tiles": [ | |
"https://a.tile.openstreetmap.org/{z}/{x}/{y}.png" | |
] | |
}, |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{ | |
"baseLayer": { | |
"tilejson": "2.2.0", | |
"name": "base", | |
"version": "1.0.0", | |
"scheme": "xyz", | |
"tiles": [ | |
"https://a.tile.openstreetmap.org/{z}/{x}/{y}.png" | |
] | |
}, |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{ | |
"baseLayer": { | |
"tilejson": "2.2.0", | |
"name": "base", | |
"version": "1.0.0", | |
"scheme": "xyz", | |
"tiles": [ | |
"https://a.tile.openstreetmap.org/{z}/{x}/{y}.png" | |
] | |
}, |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{ | |
"baseLayer": { | |
"tilejson": "2.2.0", | |
"name": "base", | |
"version": "1.0.0", | |
"scheme": "xyz", | |
"tiles": [ | |
"https://server.arcgisonline.com/ArcGIS/rest/services/World_Imagery/MapServer/tile/{z}/{y}/{x}" | |
] | |
}, |
NewerOlder