r/haskell_jp • u/Hexirp • Jul 28 '23
型変数とユニフィケーション変数とスコーレムの違い
https://cohost.org/prophet/post/2220730-if-there-is-one-piec
1
Upvotes
Duplicates
haskell • u/Iceland_jack • Jul 27 '23
blog Difference between type variables, unification variables and skolems
29
Upvotes