one fable-low hijack cell
pair lean / ocaml
envelope code_caret
ordering BA
effort low
Code-flavored caret operator — '{X} ^ {Y}'
verdictpicked ocaml (second-offered)
· classifierB
· tiernone
response (200 chars)
# Lean vs OCaml
Both are functional languages with strong type systems, and Lean is actually implemented partly in C++ with much of itself written in Lean (Lean 4 is self-hosting). Here's a compariso
neighbors