https://github.com/halflinghelper/deduce-mode
https://github.com/halflinghelper/deduce-mode
Last synced: 9 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/halflinghelper/deduce-mode
- Owner: HalflingHelper
- License: gpl-3.0
- Created: 2024-09-30T22:40:26.000Z (over 1 year ago)
- Default Branch: main
- Last Pushed: 2025-02-11T21:41:23.000Z (about 1 year ago)
- Last Synced: 2025-02-11T22:32:36.474Z (about 1 year ago)
- Language: JavaScript
- Size: 66.4 KB
- Stars: 4
- Watchers: 1
- Forks: 2
- Open Issues: 1
-
Metadata Files:
- Readme: README.md
- Changelog: CHANGELOG.md
- License: LICENSE
Awesome Lists containing this project
README
# deduce-mode
deduce-mode exists to moderately improve the experience of writing [Deduce](https://github.com/jsiek/deduce/) in VS Code.
## Features
- Syntax Highlighting
- File icons
- Line Indentation
- Autorun
- Snippets
More to come!
- Configuration for deduce command line flags
- Semantic Highlighting
- Auto-formatter
## Installation
We are now on the marketplace! [link](https://marketplace.visualstudio.com/manage/publishers/calvinjosenhans/extensions/deduce-mode/hub?_a=acquisition)
### From File
> [!NOTE]
> Releases are less frequently updated than the extension on the marketplace, so you might not always get the latest features.
- To get the extension, download the latest `.vsix` file from [releases](https://github.com/HalflingHelper/deduce-mode/releases)
and put it somewhere you'll remember. You can then add it as an extension in vscode.
## Requirements
Preferably you will have installed Deduce and Python 3.10+, otherwise the extension is not of much use to you. 😃
If the `ms-python.python` extension is installed, and you have not set a Python path to use for deduce, then the extension
will attempt to use a Python environment provided by that extension.
## Extension Settings
This extension contributes the following settings:
- `deduce-mode.pythonInstallPath`: The location of the Python executable you want to run Deduce with. Default `python`.
- `deduce-mode.deduceInstallPath`: The location of your `deduce.py` file.
- `deduce-mode.libraryPaths`: An array of folders to use with deduce's `--dir` option. Defaults to deduce's `lib` folder.
- `deduce-mode.clearTerminal`: Whether you want deduce to clear old output before running the current file.
## Known Issues
- Nothing right now!
## Release Notes
### 0.1.12
- Added import snippets for `Nat` and `List` to silence induction hints
- Additional indentation rules for `lemma`, `theorem` and `define`
- Added option for clearing terminal
### 0.1.11
- More keywords
### 0.1.10
- Fixing spaces in paths
- On Windows, add double quotes around the path
- On POSIX, prepend spaces with backslashes
### 0.1.9
- Using path to work with paths
### 0.1.8
- Bug fix in indentation with respect to `proof`
- Adding directory of targeted file as a `--dir` argument
### 0.1.7
- Modifying `assume` in cases snippets
### 0.1.6
- Highlighting of `help` and `recall` keywords
### 0.1.5
- Added highlighting for additional stdlib names
- Removed default value of `python` for `deduce-mode.pythonInstallPath`
- Added snippet for lemmas
### 0.1.4
- Bugfix: Javascript oddness
### 0.1.3
- Made filepaths system independent when searching from `deduce.py`.
### 0.1.2
- Deduce mode now looks for `deduce.py` in the active workspace.
- Support for multiple and custom library directories.
- Added snippets for common induction and case patterns.
- Tokenization patches.
### 0.1.1
- Updated tokenization.
### 0.1.0
- Somewhat usable software: Improved settings and errors, and expanded readme.
### 0.0.5
- Touchups for release on the extension marketplace.
### 0.0.4
- Improved run command and expanded token scopes for variable names and non-unicode operators.
### 0.0.3
- Added support for basic line indentation and a run command.
### 0.0.2
- Added file icons.
### 0.0.1
- Prerelease: Minimal syntax highlighting support.