Agda 2

Settings | Report Duplicate

1

I Use This!

High Activity

Commits : Listings

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

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
May 26, 2025 — Jun 25, 2025 Showing page 1 of 2 Search / Filter on:
Cosmetics: fixing haddock in Confluence.hs	Andreas Abel	More...				4 days ago
Re #7953: add potential hint to error ModuleDefinedInOtherFile	Andreas Abel	More...				4 days ago
Fix #7953: Improve error message ModuleNameDoesntMatchFileName	Andreas Abel	More...				4 days ago
Grammar fix in error LibTooFarDown	Andreas Abel	More...				4 days ago
Doc: replace PrimRoot by PrimeFactor in introductory text	Andreas Abel	More...				5 days ago
Fix #7955: replace impossible with syntax error	Szumi Xie	More...				5 days ago
Don't check polarities in fitsIn when --without-K. (#7950)	Josselin Poiret	More...				6 days ago
Fix #7943: propagate erasure status to `where` blocks.	Andreas Abel	More...				12 days ago
Fix #7944: do not apply `@0` from where-module to clause rhs	Andreas Abel	More...				12 days ago
[ doc ] remove reference to Cubical.Core.Everything	Naïm Favier	More...				13 days ago
Workflow deploy: install libgmp (#7919)	Andreas Abel	More...				16 days ago
Fix #7938: API: export Agda Highlighting Backend modules	Andreas Abel	More...				21 days ago
Add highlighting test for record with missing field	Andreas Abel	More...				23 days ago
Highlight only `record` keyword if field is missing in record expr	Andreas Abel	More...				23 days ago
[refactor] Remember KwRange in record expressions	Andreas Abel	More...				23 days ago
[doc] formatting typo	Andreas Abel	More...				23 days ago
New lens stRewriteRules	Andreas Abel	More...				23 days ago
[new] Null Signature, binary unionSignature(s)	Andreas Abel	More...				24 days ago
Testsuite: fix CWD race in test/BuildSucceed/Tests.hs	Andreas Abel	More...				24 days ago
Hint towards --guardedness even when --sized-types is on	Andreas Abel	More...				24 days ago
Updated CHANGELOG for 2.8.0-rc3	Andreas Abel	More...				25 days ago
test.yml: Fix --build-library tests	Andreas Abel	More...				25 days ago
Workflow test.yaml: Transport .stack also via artifact	Andreas Abel	More...				25 days ago
Re #7912: failing testsuite for --build-library	Andreas Abel	More...				26 days ago
[ re #7923 ] Address comments by Andreas	Jesper Cockx	More...				26 days ago
[ doc ] Consistently prefer "pattern matching" over "pattern-matching"	Jesper Cockx	More...				26 days ago
[ doc , fix #5865 ] Add documentation about lambda expressions and absurd lambdas	Jesper Cockx	More...				26 days ago
Fix #7912: error locations when --build-library	Andreas Abel	More...				26 days ago
[ fix #6111 ] Clarify the difference between irrelevance, run-time irrelevance, and Prop	Jesper Cockx	More...				26 days ago
[ doc ] Make some more code checked by Agda	Jesper Cockx	More...				26 days ago

←
1
2
→