STLC type inference in 8 lines of Curry
implemented in Curry
Created by kyagrd on November 25, 2014
(last modified on November 10, 2023)
0 users favorited this
Description: STLC type inference in 8 lines of Curry where unification is directly implemented via Curry's native unification operator (=:=).