emeryberger merged emeryberger/SnakeLean#38 · July 8, 2026 12:49 transpiler: drop polymorphic type params from Python signature (F35) #38 What (F35)A polymorphic function (reverse.go {α} (xs acc : List α)) kept its leading type parameter α : Type. emitFunParams emitted it as _: Any, … +64 -5