Welcome to your learning pathway, "Introduction to Type Theory".
You can add new resources by clicking the button. The resource will be added at the end of the pathway, or anywhere in the middle.
To add a scientific paper (research article), paste its title, then hit Return. The paper will be identified using Semantic Scholar so that you don't have to type in the year, authors, journal or abstract.
To add a web page, paste its URL and Learning Pathways will fetch the page title for you. You may need to edit the title if it is not correct.
To add other resources, enter their details manually.
Click on a resource to see details about it, or to edit it. Using the buttons at the bottom of the page, resources can be re-ordered and section headings can be added.
