inference.md « type_theory « bookmark « documentation - lux - fork of https://github.com/LuxLang/lux for my bookshelf

about summary refs log tree commit diff

path: root/documentation/bookmark/type_theory/inference.md

blob: f5ee9cb071ccf0aaa78980f0eb5eec9602de92d6 (plain)

# Reference

1. [Functors of the World, Unite!](https://www.youtube.com/watch?v=8k7YH9st_8U)