Daniel Lemire de4deb8c4e Makes it possible to cast a document to a value. (#1690) ... * Makes it possible to cast a document to a value.		2021-08-11 20:02:30 -04:00
..
extensions.json	Add basic workspace configuration for vscode	2021-06-23 12:28:00 -06:00
settings.json	Makes it possible to cast a document to a value. (#1690)	2021-08-11 20:02:30 -04:00