Introduction to EA Type Theory. Why it exists, installation, simple… | by Victor Maia | Medium - discu.eu

Reddit

Introduction to Formality (Part 1) https://medium.com/@maiavictor/introduction-to-formality-part-1-7ae5b02422ec 4 comments 5/5/2019 programming

Linking pages

May 4, 2019 – Week in Ethereum News https://weekinethereumnews.com/may-4-2019/ 7 comments

Linked pages

GitHub - HigherOrderCO/Kind: A next-gen functional language https://github.com/moonad/Formality 8 comments

Related searches:

Search whole site: site:medium.com

Search title: Introduction to EA Type Theory. Why it exists, installation, simple… | by Victor Maia | Medium

See how to search.

Submit link to: