issues
search
exercism
/
idris
Exercism exercises in Idris.
https://exercism.org/tracks/idris
MIT License
32
stars
18
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Align rna-transcription with canonical-data
#138
isberg
closed
4 months ago
0
Align rna transcription with canonical data
#137
isberg
closed
4 months ago
2
Align leap tests with canonical-data
#136
isberg
closed
4 months ago
1
🤖 Sync org-wide files to upstream repo
#135
exercism-bot
closed
4 months ago
0
Migrate to idris2
#134
isberg
closed
4 months ago
2
Migrate existing exercises to idris2
#133
isberg
closed
4 months ago
4
Add resource: Type-Driven Development with Idris
#132
keiravillekode
closed
4 months ago
0
Add tags
#131
keiravillekode
closed
4 months ago
1
🤖 Sync org-wide files to upstream repo
#130
exercism-bot
closed
6 months ago
0
🤖 Sync org-wide files to upstream repo
#129
exercism-bot
closed
4 months ago
1
🤖 Sync org-wide files to upstream repo
#128
exercism-bot
closed
4 months ago
1
🤖 Sync org-wide files to upstream repo
#127
exercism-bot
closed
8 months ago
0
Move from Travis to GitHub Actions
#126
ErikSchierboom
opened
9 months ago
3
Launch tracking
#125
ErikSchierboom
opened
9 months ago
0
🤖 Sync org-wide files to upstream repo
#124
exercism-bot
closed
8 months ago
0
🤖 Sync org-wide files to upstream repo
#123
exercism-bot
closed
4 months ago
1
🤖 Sync org-wide files to upstream repo
#122
exercism-bot
closed
4 months ago
1
leap: sync
#121
ErikSchierboom
closed
10 months ago
0
Sync rna-transcription docs with problem-specifications
#120
kytrinyx
closed
1 year ago
0
Add custom token to community contributions workflow
#119
kytrinyx
closed
1 year ago
0
Reformat exercise config files
#118
kytrinyx
closed
1 year ago
0
Create autoresponder for pausing community contributions
#117
kytrinyx
closed
1 year ago
0
🤖 Sync org-wide files to upstream repo
#116
exercism-bot
closed
2 years ago
0
Update the README to reflect current status
#115
kytrinyx
closed
2 years ago
0
Add language blurb
#114
kerolloz
closed
2 years ago
1
🤖 Sync org-wide files to upstream repo
#113
exercism-bot
closed
2 years ago
0
🤖 Sync org-wide files to upstream repo
#112
exercism-bot
closed
2 years ago
0
🤖 Sync org-wide files to upstream repo
#111
exercism-bot
closed
2 years ago
0
🤖 Sync org-wide files to upstream repo
#110
exercism-bot
closed
2 years ago
0
Bump actions/checkout from 2.4.0 to 3
#109
dependabot[bot]
closed
2 years ago
0
Bump actions/checkout from 2.3.5 to 2.4.0
#108
dependabot[bot]
closed
2 years ago
0
🤖 Remove obsolete `maintainers.json` file
#107
ErikSchierboom
closed
3 years ago
0
Bump actions/checkout from 2.3.4 to 2.3.5
#106
dependabot[bot]
closed
3 years ago
0
🤖 Sync org-wide files to upstream repo
#105
exercism-bot
closed
2 years ago
0
🤖 Sync org-wide files to upstream repo
#104
exercism-bot
closed
2 years ago
0
🤖 Sync org-wide files to upstream repo
#103
exercism-bot
closed
3 years ago
0
Fix CI
#102
ErikSchierboom
closed
2 years ago
0
Check docs are up to date
#101
ErikSchierboom
closed
2 years ago
0
Build representer
#100
ErikSchierboom
closed
2 years ago
0
Extract track-specific test instructions from `config/exercise_readme.go.tmpl`
#99
ErikSchierboom
closed
2 years ago
0
Extract track-specific help instructions from `config/exercise_readme.go.tmpl`
#98
ErikSchierboom
closed
2 years ago
0
🤖 Sync org-wide files to upstream repo
#97
exercism-bot
closed
3 years ago
0
🤖 Simplify `hello-world` stub
#96
ErikSchierboom
closed
3 years ago
0
🤖 Sync org-wide files to upstream repo
#95
exercism-bot
closed
3 years ago
0
🤖 Sync error for commit a955c6
#94
exercism-bot
closed
3 years ago
0
🤖 Update labels
#93
ErikSchierboom
closed
3 years ago
0
🤖 Sync org-wide files to upstream repo
#92
exercism-bot
closed
3 years ago
0
🤖 Sync org-wide files to upstream repo
#91
exercism-bot
closed
3 years ago
0
🤖 Add labels append file
#90
ErikSchierboom
closed
3 years ago
0
🤖 Remove `online_editor.ace_editor_language` key
#89
ErikSchierboom
closed
3 years ago
0
Previous
Next