pub fn infer(
term: Term,
global: HashMap<String, Type>,
) -> Result<Type, ErrorKind>Expand description
infer the type of the given term given known function defined in the outer scopes. This is a translation of the algorithm demonstrated by Ionut Gan at I T.A.K.E Unconference 2015