Skip to content
This repository was archived by the owner on Nov 12, 2025. It is now read-only.

Fix function name in one of the erasure examples#4911

Open
hyphenrf wants to merge 1 commit into
idris-lang:masterfrom
hyphenrf:patch-1
Open

Fix function name in one of the erasure examples#4911
hyphenrf wants to merge 1 commit into
idris-lang:masterfrom
hyphenrf:patch-1

Commits

Commits on Jan 8, 2022