Pulsar language package for Oak

A Pulsar (formerly Atom) language package for the Oak proof checker.

Provides syntax highlighting, automatic indentation, and comment toggling.

Name	Name	Last commit message	Last commit date
Latest commit smithtim Prepare v0.4.1 release May 22, 2024 cf0c731 · May 22, 2024 History 32 Commits
grammars	grammars	add marker	May 22, 2024
settings	settings	add comment toggling	Jun 12, 2020
.gitignore	.gitignore	add package with syntax highlighting	Jun 10, 2020
LICENSE	LICENSE	Initial commit	Jun 10, 2020
README.md	README.md	change Atom to Pulsar in readme	Sep 14, 2023
package.json	package.json	Prepare v0.4.1 release	May 22, 2024

Provide feedback