github.com/avatar29a/lambdacube (go): Implementation Lambda Calculus with other Type system: from untyped lambda up to lambda with dependency typed
Keywords: dependency-types|lambda-calculus|lambdacube