Spidr.Compiler.Passes

For internal spidr use only.

Definitions

removeCaptures : Fn n -> (m : Nat ** (Vect m Value, Fn (n + m)))

Visibility: export