[Agda] agda semantics

Permjacov Evgeniy permeakra at gmail.com
Mon Feb 28 20:26:24 CET 2011


What is difference between signatures
f : ∀ (a : Type) → OtherType     and       f : (a : Type) → OtherType  ?

what is difference between definitions
f x = x    and       f = λ x → x ?


More information about the Agda mailing list