issues
search
exercism
/
coq
Exercism exercises in Coq.
https://exercism.org/tracks/coq
MIT License
18
stars
11
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
🤖 Remove `online_editor.ace_editor_language` key
#72
ErikSchierboom
closed
3 years ago
0
🤖 Add fetch configlet script(s) to CODEOWNERS file
#71
ErikSchierboom
closed
3 years ago
0
🤖 Add stub files to all exercises
#70
ErikSchierboom
closed
3 years ago
0
🤖 Add Ace editor and highlightjs languages to config.json
#69
ErikSchierboom
closed
3 years ago
0
🤖 Sync exercise files keys based on file path patterns
#68
ErikSchierboom
closed
3 years ago
0
🤖 Add authors and contributors to Practice Exercises
#67
ErikSchierboom
closed
3 years ago
1
🤖 Add docs configuration
#66
ErikSchierboom
closed
3 years ago
0
🤖 Add blurb to .meta/config.json files
#65
ErikSchierboom
closed
3 years ago
0
🤖 Add file patterns to config.json
#64
ErikSchierboom
closed
3 years ago
0
[v3] Update Markdown files to latest spec
#63
ErikSchierboom
closed
3 years ago
0
[v3] Move Practice Exercise example files to .meta directory
#62
ErikSchierboom
closed
3 years ago
1
[v3] Update Practice Exercises to latest spec
#61
ErikSchierboom
closed
3 years ago
0
Launch Tracker 🔴
#60
ErikSchierboom
closed
1 year ago
0
Update status of Concept Exercises
#59
ErikSchierboom
closed
3 years ago
1
Update status of track
#58
ErikSchierboom
closed
1 year ago
0
Build Representer and Analyzer
#57
ErikSchierboom
closed
3 years ago
1
Build Test Runner
#56
ErikSchierboom
closed
1 year ago
0
Pass linting checks
#55
ErikSchierboom
closed
1 year ago
1
Add prerequisites to Practice Exercises
#54
ErikSchierboom
closed
1 year ago
1
Add tags
#53
ErikSchierboom
closed
1 year ago
0
Add key features
#52
ErikSchierboom
closed
1 year ago
0
Configure online editor
#51
ErikSchierboom
closed
1 year ago
0
[v3] Prepare for v3
#50
ErikSchierboom
closed
3 years ago
0
The master branch will be renamed to main
#49
ErikSchierboom
closed
3 years ago
1
[Important] The current website is about to enter maintenance mode to aid with v3 launch
#48
ErikSchierboom
closed
3 years ago
2
add GHA workflows
#47
cmccandless
closed
3 years ago
1
Moving from Travis to GitHub Actions
#46
ErikSchierboom
closed
3 years ago
1
Add codeowner for maintainers.json file
#45
ErikSchierboom
closed
3 years ago
0
Bringing your track in line with the latest changes to Problem Specifications
#44
ErikSchierboom
closed
3 years ago
0
What was it like to learn Coq?
#43
ErikSchierboom
closed
3 years ago
1
Create stub files for all exercises
#42
kytrinyx
closed
5 years ago
1
Enable track test suite
#41
Bubbler-4
closed
1 year ago
5
Use Coq docker in travis
#40
Bubbler-4
closed
5 years ago
0
Concrete exercise design
#39
Bubbler-4
closed
1 year ago
0
Add blurb and ABOUT
#38
Bubbler-4
closed
5 years ago
0
Some thoughts I want to share for the Coq track
#37
Bubbler-4
closed
1 year ago
1
Update copyright in license
#36
kytrinyx
closed
5 years ago
0
Update URL for Exercism Code of Conduct link.
#35
houhoulis
closed
5 years ago
0
Remove obsolete version tracking assertions in exercises
#34
kytrinyx
closed
5 years ago
0
Fix getting started instructions for coq
#33
jackhughesweb
closed
1 year ago
0
Syntax highlighting for coq
#32
jackhughesweb
closed
6 years ago
0
Add auto_approve to hello-world exercise
#31
jackhughesweb
closed
6 years ago
0
Ensure Coq track is ready for v2 launch
#30
kytrinyx
closed
3 years ago
0
Reformat config files
#29
kytrinyx
closed
6 years ago
1
Where are the Coq communities and enthusiasts?
#28
kytrinyx
closed
5 years ago
2
Delete the PR template
#27
kytrinyx
closed
6 years ago
0
Added basic Learning section
#26
mtrsk
closed
6 years ago
0
Inline the exercise README insert
#25
kytrinyx
closed
6 years ago
0
Normalize the config file to minimize noise later
#24
kytrinyx
closed
6 years ago
1
Add default introductory code example
#23
kytrinyx
closed
6 years ago
1
Previous
Next