Stream: Beginner Questions

Topic: Lambda expressions

view this post on Zulip Aleksander Mendoza-Drosik (Jan 12 2023 at 19:10):

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: Jan 22 2026 at 02:00 UTC