-
-
Notifications
You must be signed in to change notification settings - Fork 2
Create a CodeMirror mode for Lean #156
Copy link
Copy link
Open
Labels
x:action/createWork on something from scratchWork on something from scratchx:knowledge/noneNo existing Exercism knowledge requiredNo existing Exercism knowledge requiredx:size/massiveMassive amount of workMassive amount of workx:type/codingWrite code that is not student-facing content (e.g. test-runners, generators, but not exercises)Write code that is not student-facing content (e.g. test-runners, generators, but not exercises)
Description
Metadata
Metadata
Assignees
Labels
x:action/createWork on something from scratchWork on something from scratchx:knowledge/noneNo existing Exercism knowledge requiredNo existing Exercism knowledge requiredx:size/massiveMassive amount of workMassive amount of workx:type/codingWrite code that is not student-facing content (e.g. test-runners, generators, but not exercises)Write code that is not student-facing content (e.g. test-runners, generators, but not exercises)
Type
Fields
Give feedbackNo fields configured for issues without a type.
To work on this issue, please open a topic on the forum. For more information, check our contribution guidelines.
This is necessary for syntax highlighting in the online editor