Overloaded pattern synonyms · Issue #2787 · agda/agda · GitHub

Copied from my comment on #2069: I've often wished for overloadable pattern synonyms. Here's a common design pattern I'm using: data D (i : I) : Set where c : ∀ {j} → A → i ≡ f j → D i pattern c! x = c x refl It's really annoying that I

drivers - Washed out/over saturated colors on Ubuntu 16.04 - Ask

新功能-网盘结合· Issue #708 · agalwood/Motrix · GitHub

Adjusting customizations when upgrading - Documentation for Remedy

WSL [코드 4294967295로 프로세스 종료됨] 에러 발생시

Occasionally `Failed to extract linuxDebug.tar.gz` CI error

learnErrors() very time consuming · Issue #986 · benjjneb/dada2

plfa/Relations.agda at master · pcstl-experiments/plfa · GitHub

Gralloc ranchu : Unexpected DMA - No DMA context bound ! · Issue

proxy.golang.org: '400 bad request' for pseudo-versions that refer

GitHub - Xianjun-Yang/Awesome_papers_on_LLMs_detection

Fresh Graylog 5.0 Install w/ OpenSearch; OpenSearch invariably

haskell-language-server/ChangeLog.md at master · haskell/haskell

SHA-256 algorithm to address issue #4947 by noahd223 · Pull

GitHub - dimecon/nominal-adapton-agda

pattern synonyms should support implicit arguments · Issue #860