Skip to content

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

e0f78b4
Select commit
Loading
Failed to load commit list.
Open

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

[ 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