Skip to main content

An implicit argument is an argument which can be inferred from contextual knowledge.

References: Coq Agda

Related tags: