Skip to content

[ port idris-lang/Idris2#2863 ] Make some higher-order functions in prelude tc-inlined - #34

Open
mjustus wants to merge 1 commit into
edwinb:mainfrom
mjustus:port-pr2863
Open

[ port idris-lang/Idris2#2863 ] Make some higher-order functions in prelude tc-inlined#34
mjustus wants to merge 1 commit into
edwinb:mainfrom
mjustus:port-pr2863

[ port idris-lang/Idris2#2863 ] Make some higher-order functions in p…

e0f78b4
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs