type-theory/.vscode/settings.json

{
	"editor.unicodeHighlight.ambiguousCharacters": false,
	"gitdoc.enabled": false,
	"gitdoc.autoCommitDelay": 300000,
	"gitdoc.commitMessageFormat": "'auto gitdoc commit'",
	"agdaMode.connection.commandLineOptions": "--without-K",
	"search.exclude": {},
	"editor.fontFamily": "'PragmataPro Mono Liga', 'Droid Sans Mono', 'monospace', monospace"
}
waht 2023-12-22 10:20:33 -06:00			`{`
auto gitdoc commit 2024-04-22 01:24:08 +00:00			`"editor.unicodeHighlight.ambiguousCharacters": false,`
auto gitdoc commit 2024-04-25 20:32:03 +00:00			`"gitdoc.enabled": false,`
auto gitdoc commit 2024-04-22 02:22:34 +00:00			`"gitdoc.autoCommitDelay": 300000,`
converting primarily to cubical 2024-06-02 18:13:09 -04:00			`"gitdoc.commitMessageFormat": "'auto gitdoc commit'",`
add rewriting 2024-07-17 12:52:29 -05:00			`"agdaMode.connection.commandLineOptions": "--without-K",`
remove cubical hott folder 2024-08-06 17:13:37 -04:00			`"search.exclude": {},`
font 2024-07-15 11:44:17 -05:00			`"editor.fontFamily": "'PragmataPro Mono Liga', 'Droid Sans Mono', 'monospace', monospace"`
waht 2023-12-22 10:20:33 -06:00			`}`