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 18, 2024 — Jul 18, 2025 Showing page 1 of 338 Search / Filter on:
Merge pull request #4929 from foxyseta/patch-1	Niklas Larsson	More...				5 months ago
docs: typo in misc.rst	Stefano Volpe	More...				5 months ago
Merge pull request #4926 from Vekhir/patch-1	Niklas Larsson	More...				over 1 year ago
Update dependencies	Vekhir	More...				over 1 year ago
Merge pull request #4925 from Vekhir/support-mtl2.3	Niklas Larsson	More...				over 1 year ago
Support mtl 2.3	Vekhir	More...				over 1 year ago
Merge pull request #4922 from felixonmars/patch-2	Niklas Larsson	More...				over 2 years ago
Allow fsnotify 0.4	Felix Yan	More...				over 2 years ago
Merge pull request #4921 from felixonmars/patch-2	Niklas Larsson	More...				almost 3 years ago
Allow vector 0.13	Felix Yan	More...				almost 3 years ago
Merge pull request #4920 from felixonmars/patch-2	Niklas Larsson	More...				almost 3 years ago
Allow libffi 0.2	Felix Yan	More...				almost 3 years ago
Merge pull request #4916 from attila-lendvai-patches/guix	Niklas Larsson	More...				over 3 years ago
Merge pull request #4915 from attila-lendvai-patches/ffi008	Niklas Larsson	More...				over 3 years ago
Add a guix.scm for easy building on Guix.	Attila Lendvai	More...				over 3 years ago
fix ffi008 test: Avoid multiple definition of `mystruct'.	Attila Lendvai	More...				over 3 years ago
Revert "fix ffi008 test: add -fcommon to the CLFAGS to accommodate gcc v9+"	Attila Lendvai	More...				over 3 years ago
Merge pull request #4912 from Mathnerd314/patch-1	Niklas Larsson	More...				over 3 years ago
mention named implementations earlier	Mathnerd314	More...				over 3 years ago
Merge pull request #4910 from attila-lendvai-patches/ffi008	Niklas Larsson	More...				over 3 years ago
Merge pull request #4909 from pawelsawicz/patch-1	Jan de Muijnck-Hughes	More...				over 3 years ago
fix ffi008 test: add -fcommon to the CLFAGS to accommodate gcc v9+	Attila Lendvai	More...				over 3 years ago
Changed IRC server information	Pawel Sawicz	More...				over 3 years ago
Merge pull request #4908 from melted/idris-release-1.3.4	Niklas Larsson	More...				over 3 years ago
Update version to 1.3.4	Niklas Larsson	More...				over 3 years ago
Rename forall	Niklas Larsson	More...				over 3 years ago
Update appveyor script	Niklas Larsson	More...				over 3 years ago
Merge pull request #4906 from attila-lendvai/cc-env	Niklas Larsson	More...				over 3 years ago
Merge pull request #4894 from alexfmpe/patch-2	Niklas Larsson	More...				over 3 years ago
Merge pull request #4900 from vanillajonathan/patch-1	Niklas Larsson	More...				over 3 years ago

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