-
-
Notifications
You must be signed in to change notification settings - Fork 3
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
- Status: Open.#189 In exercism/lean;
- Status: Open.#175 In exercism/lean;
Add
List-Opspractice exercisex:action/createWork on something from scratchWork on something from scratchx:knowledge/elementaryLittle Exercism knowledge requiredLittle Exercism knowledge requiredx:module/practice-exerciseWork on Practice ExercisesWork on Practice Exercisesx:size/mediumMedium amount of workMedium 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)x:type/contentWork on content (e.g. exercises, concepts)Work on content (e.g. exercises, concepts)Status: Open.#158 In exercism/lean;Add
Zipperpractice exercisex:action/createWork on something from scratchWork on something from scratchx:knowledge/elementaryLittle Exercism knowledge requiredLittle Exercism knowledge requiredx:module/practice-exerciseWork on Practice ExercisesWork on Practice Exercisesx:size/largeLarge amount of workLarge 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)x:type/contentWork on content (e.g. exercises, concepts)Work on content (e.g. exercises, concepts)Status: Open.#157 In exercism/lean;Create a CodeMirror mode for Lean
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)Status: Open.#156 In exercism/lean;Build a representer
x:action/createWork on something from scratchWork on something from scratchx:knowledge/advancedComprehensive Exercism knowledge requiredComprehensive Exercism knowledge requiredx:module/representerWork on RepresentersWork on Representersx: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)Status: Open.#155 In exercism/lean;Build an analyzer
x:action/createWork on something from scratchWork on something from scratchx:knowledge/advancedComprehensive Exercism knowledge requiredComprehensive Exercism knowledge requiredx:module/analyzerWork on AnalyzersWork on Analyzersx: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)Status: Open.#154 In exercism/lean;- Status: Open.#1 In exercism/lean;