openhub.net
Black Duck Software, Inc.
Black Duck Open Hub
Follow @
OH
Sign In
Join Now
Projects
People
Organizations
Tools
Blog
BDSA
Projects
People
Projects
Organizations
Forums
I
Idris-lang
Settings
|
Report Duplicate
1
I Use This!
×
Login Required
Log in to Open Hub
Remember Me
Very Low Activity
Commits
: Listings
Analyzed
about 4 hours
ago. based on code collected
about 4 hours
ago.
May 13, 2023 — May 13, 2024
Showing page 3 of 338
Search / Filter on:
Commit Message
Contributor
Files Modified
Lines Added
Lines Removed
Code Location
Date
Fix :browse-namespace response formatting for IDE mode
Conjunctive
More...
almost 4 years ago
Remove redundant import statements
Conjunctive
More...
almost 4 years ago
Add haskeline to extra-deps for default stack.yaml
Conjunctive
More...
almost 4 years ago
Merge pull request #4872 from FreddieV96/master
Niklas Larsson
More...
almost 4 years ago
Merge pull request #4871 from melted/haskeline
Niklas Larsson
More...
almost 4 years ago
Added fix to recvAll that doesn't use signal (Left 0)
Frederik Vigen
More...
almost 4 years ago
Fix to unblock haskeline-0.8
Niklas Larsson
More...
almost 4 years ago
Merge pull request #4870 from idris-lang/melted-patch-1
Niklas Larsson
More...
almost 4 years ago
Revert newer haskeline
Niklas Larsson
More...
almost 4 years ago
Merge pull request #4869 from idris-lang/haskeline_bound
Niklas Larsson
More...
almost 4 years ago
Allow newer haskeline
Niklas Larsson
More...
almost 4 years ago
Merge pull request #4856 from buzden/arduino-main-work-again
Niklas Larsson
More...
almost 4 years ago
Merge pull request #4864 from felixonmars/patch-1
Niklas Larsson
More...
almost 4 years ago
Allow aeson 1.5
Felix Yan
More...
almost 4 years ago
Merge pull request #4851 from ziman/fix-lamtolet
Niklas Larsson
More...
almost 4 years ago
Disable Idris 2 job
Niklas Larsson
More...
almost 4 years ago
Merge pull request #4863 from melted/release-1.3.3
Niklas Larsson
More...
almost 4 years ago
fix timeout in Idris 2 build job
Niklas Larsson
More...
almost 4 years ago
Prepare for release v1.3.3
Niklas Larsson
More...
almost 4 years ago
update changelog for v1.3.3
Niklas Larsson
More...
almost 4 years ago
Merge pull request #4861 from melted/travis_8.2
Niklas Larsson
More...
almost 4 years ago
Remove GHC 8.2 from Travis
Niklas Larsson
More...
almost 4 years ago
Bump IBC version.
Matus Tejiscak
More...
almost 4 years ago
Merge pull request #4860 from alexhumphreys/patch-1
Niklas Larsson
More...
almost 4 years ago
Merge pull request #4854 from nickdrozd/simplify
Niklas Larsson
More...
almost 4 years ago
Merge pull request #4852 from andrevidela/contrib-json-eq
Niklas Larsson
More...
almost 4 years ago
Merge pull request #4850 from felixonmars/patch-1
Niklas Larsson
More...
almost 4 years ago
Merge pull request #4839 from Hirrolot/patch-1
Niklas Larsson
More...
almost 4 years ago
Merge pull request #4857 from buzden/integer-types-corresponcence-fix
Niklas Larsson
More...
almost 4 years ago
Merge pull request #4855 from buzden/strange-comparisons-fix
Niklas Larsson
More...
almost 4 years ago
←
1
2
3
4
5
6
7
8
9
…
337
338
→
This site uses cookies to give you the best possible experience. By using the site, you consent to our use of cookies. For more information, please see our
Privacy Policy
Agree