yeslogic/fathom

Dependent function types

brendanzab opened this issue · 0 comments

brendanzab commented

It would be nice to be able to define dependent function types. For example:

fn (A : Type) (data : Array 3 A) -> A