Syntax highlighting for the DroppedText language, inspired by https://github.com/agda/agda-github-syntax-highlighting
-
Updated
Feb 21, 2022 - Python
Syntax highlighting for the DroppedText language, inspired by https://github.com/agda/agda-github-syntax-highlighting
💦️🔠️🆚️ The official VSCode extension source repository for the DroppedText language.
A text corpus collection for the DroppedText language.
A repository for showcasing my knowledge of the DroppedText language, and continuing to learn the language.
The DroppedText language IDE submodule for SNU Programming Tools (2D Mode)
Add a description, image, and links to the droppedtext-lang topic page so that developers can more easily learn about it.
To associate your repository with the droppedtext-lang topic, visit your repo's landing page and select "manage topics."