https://github.com/Consensys/ivy-syntax-highlight

https://github.com/Consensys/ivy-syntax-highlight

Last synced: 3 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/Consensys/ivy-syntax-highlight
• Owner: Consensys
• License: apache-2.0
• Created: 2021-12-13T04:07:43.000Z (almost 3 years ago)
• Default Branch: main
• Last Pushed: 2024-08-21T00:09:07.000Z (4 months ago)
• Last Synced: 2024-08-21T11:21:47.155Z (4 months ago)
• Size: 15.6 KB
• Stars: 2
• Watchers: 4
• Forks: 2
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGELOG.md
  • License: LICENSE

Awesome Lists containing this project

• awesome-formal-verification - ivy-syntax-highlight - Bare minimum syntax highlight definitions (most likely incomplete) for the Ivy language. (Software verification / Tools/Proof Assistants)

README

        
# ivy-syntax-highlight

Bare minimum syntax highlight definitions (most likely incomplete) for the [Ivy language](https://microsoft.github.io/ivy/language.html).

## Known Issues

Syntax definition is probably not complete.

## Release Notes

### 0.1.5

Add missing keywords & enable c++ code formatting comments.

### 0.1.4

Add missing keywords.

### 0.1.3

Add missing keywords.

### 0.1.2

Add missing keywords.

### 0.1.1

Fix comment toggling.

### 0.1.0

Doc fixes.

### 0.0.1

Initial release.

-----------------------------------------------------------------------------------------------------------