type-inference

type-inference copied to clipboard

This can't type expressions which require higher ranked types

2

(I'm uncaffeinated from Reddit) Now that I've had a chance to try the code out, I can confirm my initial suspicion that this isn't able to type anything which requires...

Storyyeller

From [`README.md`](https://github.com/cdiggins/type-inference/blob/47cfb5b2b2e42e17a44f097fde4e2816a3d45d60/README.md?plain=1#L183-L189): > When we infer the type for the term `quote dup apply` we get the following: > > ``` > quote dup apply : !t0!t1.((t0 t1) -> (t0...

olus2000