I found an expression like this
"(λ x::bool . ¬x) ≤ (λ x . x)". I don't understand what
≤ means here. Where can I find its instantiation on function types (or more generally is there some jEdit shortcut to jump to instantiations for different types)?
Last updated: Dec 07 2023 at 20:16 UTC