Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / meraymond2/idris-ide-client issues and pull requests
#47 - Bump pkg version
Pull Request -
State: closed - Opened by meraymond2 about 2 years ago
#46 - Idris 2 0.6.0
Pull Request -
State: closed - Opened by meraymond2 about 2 years ago
#45 - Update tests
Issue -
State: closed - Opened by meraymond2 over 2 years ago
#44 - [WIP] Update idris2 0.5.0
Pull Request -
State: closed - Opened by meraymond2 about 3 years ago
- 1 comment
#43 - Simplify parser
Pull Request -
State: closed - Opened by meraymond2 about 3 years ago
#42 - Markdown
Pull Request -
State: closed - Opened by meraymond2 about 3 years ago
#41 - Lidr
Pull Request -
State: closed - Opened by meraymond2 about 3 years ago
#40 - Test improvements
Pull Request -
State: closed - Opened by meraymond2 about 3 years ago
#39 - 0.4.0
Pull Request -
State: closed - Opened by meraymond2 over 3 years ago
#38 - Bump glob-parent from 5.1.1 to 5.1.2
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 1 comment
Labels: dependencies
#37 - Bump lodash from 4.17.20 to 4.17.21
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 1 comment
Labels: dependencies
#36 - Bump version
Pull Request -
State: closed - Opened by meraymond2 over 3 years ago
#35 - Update readme
Pull Request -
State: closed - Opened by meraymond2 over 3 years ago
#34 - type-at
Pull Request -
State: closed - Opened by meraymond2 over 3 years ago
#33 - Put args in normal order
Pull Request -
State: closed - Opened by meraymond2 over 3 years ago
#32 - update idris1 and idris 2
Pull Request -
State: closed - Opened by archaeron over 3 years ago
#31 - Gd
Pull Request -
State: closed - Opened by meraymond2 almost 4 years ago
- 5 comments
#30 - V030
Pull Request -
State: closed - Opened by meraymond2 almost 4 years ago
- 1 comment
#29 - Bump version
Pull Request -
State: closed - Opened by meraymond2 almost 4 years ago
#28 - Run ci for main branch
Pull Request -
State: closed - Opened by meraymond2 almost 4 years ago
#27 - Add clause fix
Pull Request -
State: closed - Opened by meraymond2 almost 4 years ago
#26 - Idris 2
Pull Request -
State: closed - Opened by meraymond2 almost 4 years ago
#25 - Add Clause can fail in Idris2
Issue -
State: closed - Opened by meraymond2 almost 4 years ago
- 3 comments
#24 - Bump lodash from 4.17.15 to 4.17.19
Pull Request -
State: closed - Opened by dependabot[bot] over 4 years ago
- 1 comment
Labels: dependencies
#23 - Version bump
Pull Request -
State: closed - Opened by meraymond2 over 4 years ago
#22 - CI: add windows tests for idris1
Pull Request -
State: open - Opened by archaeron over 4 years ago
#21 - Rm extraneous carriage returns
Pull Request -
State: closed - Opened by meraymond2 over 4 years ago
- 1 comment
#20 - Handle Windows newlines
Issue -
State: closed - Opened by melted over 4 years ago
- 7 comments
#19 - Idris2 :version unrecognised
Issue -
State: closed - Opened by meraymond2 over 4 years ago
- 2 comments
#18 - Idris2 :make-with looks broken
Issue -
State: closed - Opened by meraymond2 over 4 years ago
- 1 comment
#17 - Idris2 :make-lemma looks broken
Issue -
State: closed - Opened by meraymond2 over 4 years ago
- 1 comment
#16 - Idris2 :interpret result doesn't include type
Issue -
State: closed - Opened by meraymond2 over 4 years ago
- 1 comment
#15 - Idris2 :case-split
Issue -
State: closed - Opened by meraymond2 over 4 years ago
- 1 comment
#14 - Idris2 :load-file behaviour
Issue -
State: closed - Opened by meraymond2 over 4 years ago
- 2 comments
#13 - Idris 2
Pull Request -
State: closed - Opened by meraymond2 over 4 years ago
- 1 comment
#12 - Initialize CI
Pull Request -
State: closed - Opened by archaeron over 4 years ago
- 6 comments
#11 - Idris2 support
Issue -
State: open - Opened by meraymond2 over 4 years ago
- 6 comments
#10 - Return types
Pull Request -
State: closed - Opened by meraymond2 over 4 years ago
#9 - Bump version
Pull Request -
State: closed - Opened by meraymond2 over 4 years ago
#8 - ability to load dependencies
Pull Request -
State: closed - Opened by archaeron over 4 years ago
- 2 comments
#7 - Sockets
Pull Request -
State: closed - Opened by meraymond2 over 4 years ago
- 3 comments
#6 - Lexing fix
Pull Request -
State: closed - Opened by meraymond2 over 4 years ago
#5 - Reply sum types need a discriminator
Issue -
State: closed - Opened by archaeron over 4 years ago
- 2 comments
#4 - Reconsider return type of loadFile
Issue -
State: open - Opened by meraymond2 over 4 years ago
#3 - export all types from reply
Issue -
State: closed - Opened by archaeron over 4 years ago
- 1 comment
#2 - Talk to Idris via a socket instead of stdout
Issue -
State: closed - Opened by archaeron over 4 years ago
- 1 comment
#1 - Ability to load additional idris packages
Issue -
State: closed - Opened by archaeron over 4 years ago
- 3 comments