Theoria.Lean.Encode.Application (theoria v0.6.0)

Copy Markdown View Source

Experimental/internal API for 0.2; subject to change before 0.3. Specialized Lean encoders for application spines.

Summary

Functions

encode(arg1, args, context)

Encodes an application spine when it needs Lean-specific argument handling.

Functions

encode(arg1, args, context)

@spec encode(term(), [term()], [String.t()]) :: {:ok, String.t()} | :error

Encodes an application spine when it needs Lean-specific argument handling.