search

FP-North-East / session-proposals

A place to suggest and grow future sessions for FP North East
Apache License 2.0
0 stars 0 forks source link

Unification? #23

Open paulcc opened 5 years ago

paulcc commented 5 years ago

Have we ever discussed unification (the algorithm)?

It's a useful alg to know, both for its place in (old fashioned) AI and in type checking.