I

Idris-lang

Settings | Report Duplicate

1

I Use This!

Very Low Activity

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jul 28, 2024 — Jul 28, 2025 Showing page 3 of 338 Search / Filter on:
Formatting fix	Conjunctive	More...				about 5 years ago
Support :browse in IDE mode	Conjunctive	More...				about 5 years ago
Fix :browse-namespace response formatting for IDE mode	Conjunctive	More...				about 5 years ago
Remove redundant import statements	Conjunctive	More...				about 5 years ago
Add haskeline to extra-deps for default stack.yaml	Conjunctive	More...				about 5 years ago
Merge pull request #4872 from FreddieV96/master	Niklas Larsson	More...				about 5 years ago
Merge pull request #4871 from melted/haskeline	Niklas Larsson	More...				about 5 years ago
Added fix to recvAll that doesn't use signal (Left 0)	Frederik Vigen	More...				about 5 years ago
Fix to unblock haskeline-0.8	Niklas Larsson	More...				about 5 years ago
Merge pull request #4870 from idris-lang/melted-patch-1	Niklas Larsson	More...				about 5 years ago
Revert newer haskeline	Niklas Larsson	More...				about 5 years ago
Merge pull request #4869 from idris-lang/haskeline_bound	Niklas Larsson	More...				about 5 years ago
Allow newer haskeline	Niklas Larsson	More...				about 5 years ago
Merge pull request #4856 from buzden/arduino-main-work-again	Niklas Larsson	More...				about 5 years ago
Merge pull request #4864 from felixonmars/patch-1	Niklas Larsson	More...				about 5 years ago
Allow aeson 1.5	Felix Yan	More...				about 5 years ago
Merge pull request #4851 from ziman/fix-lamtolet	Niklas Larsson	More...				about 5 years ago
Disable Idris 2 job	Niklas Larsson	More...				about 5 years ago
Merge pull request #4863 from melted/release-1.3.3	Niklas Larsson	More...				about 5 years ago
fix timeout in Idris 2 build job	Niklas Larsson	More...				about 5 years ago
Prepare for release v1.3.3	Niklas Larsson	More...				about 5 years ago
update changelog for v1.3.3	Niklas Larsson	More...				about 5 years ago
Merge pull request #4861 from melted/travis_8.2	Niklas Larsson	More...				about 5 years ago
Remove GHC 8.2 from Travis	Niklas Larsson	More...				about 5 years ago
Bump IBC version.	Matus Tejiscak	More...				about 5 years ago
Merge pull request #4860 from alexhumphreys/patch-1	Niklas Larsson	More...				about 5 years ago
Merge pull request #4854 from nickdrozd/simplify	Niklas Larsson	More...				about 5 years ago
Merge pull request #4852 from andrevidela/contrib-json-eq	Niklas Larsson	More...				about 5 years ago
Merge pull request #4850 from felixonmars/patch-1	Niklas Larsson	More...				about 5 years ago
Merge pull request #4839 from Hirrolot/patch-1	Niklas Larsson	More...				about 5 years ago

←
1
2
3
4
5
6
7
8
9
…
337
338
→