I

Idris-lang

Settings | Report Duplicate

1

I Use This!

Very Low Activity

Commits : Listings

Analyzed about 3 hours ago. based on code collected about 3 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jul 31, 2024 — Jul 31, 2025 Showing page 2 of 338 Search / Filter on:
IDRIS_CC and IDRIS_CFLAGS: fallback to the unprefixed variables	Attila Lendvai	More...				almost 4 years ago
Merge pull request #4902 from attila-lendvai/attila	Niklas Larsson	More...				almost 4 years ago
Merge pull request #4903 from juhp/patch-5	Niklas Larsson	More...				almost 4 years ago
allow ansi-terminal-0.11 and megaparsec-9	Jens Petersen	More...				almost 4 years ago
added a shell.nix and updated INSTALL.md	Attila Lendvai	More...				about 4 years ago
README: mention Idris2 and clarify the situation WRT Idris 1	Attila Lendvai	More...				about 4 years ago
Merge pull request #4897 from SekiT/fix-typo-erase	Niklas Larsson	More...				about 4 years ago
Add hyphen	Jonathan	More...				about 4 years ago
Fix typo: erae => erase	Takaaki Seki	More...				over 4 years ago
Fix typo	Alexandre Esteves	More...				over 4 years ago
Merge pull request #4891 from lynn/patch-1	Niklas Larsson	More...				over 4 years ago
Merge pull request #4892 from felixonmars/patch-2	Niklas Larsson	More...				over 4 years ago
Fix compatibility with megaparsec 9	Felix Yan	More...				over 4 years ago
Update link to Idris 2 repo in README	Lynn	More...				over 4 years ago
Merge pull request #4889 from felixonmars/patch-2	Niklas Larsson	More...				over 4 years ago
Allow optparse-applicative 0.16	Felix Yan	More...				almost 5 years ago
Merge pull request #4888 from ice1000/patch-1	Niklas Larsson	More...				almost 5 years ago
Support cabal 3.4 (latest)	Tesla Ice Zhang‮	More...				almost 5 years ago
Merge pull request #4886 from idris-lang/jfdm-patch-1	Jan de Muijnck-Hughes	More...				almost 5 years ago
Fixes #4880	Jan de Muijnck-Hughes	More...				almost 5 years ago
Merge pull request #4882 from jpetkau/patch-1	Jan de Muijnck-Hughes	More...				almost 5 years ago
Merge pull request #4885 from felixonmars/patch-2	Niklas Larsson	More...				almost 5 years ago
Allow base64-bytestring 1.2	Felix Yan	More...				almost 5 years ago
Update typesfuns.rst	Jeff Petkau	More...				almost 5 years ago
Document alternative type declaration syntax	Jeff Petkau	More...				almost 5 years ago
Merge pull request #4876 from melted/idemode_win	Niklas Larsson	More...				about 5 years ago
Fix CRLF encoding of idemode commands on windows.	Niklas Larsson	More...				about 5 years ago
Merge pull request #4874 from conjunctive/fix-missing-import	Niklas Larsson	More...				about 5 years ago
Fix missing import	Conjunctive	More...				about 5 years ago
Merge pull request #4873 from conjunctive/fix-ide-repl	Niklas Larsson	More...				about 5 years ago

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