/Notes/

• ../
• Inferrence-ConstraintsAndRules.md
• Restructure.txt
• Typeck.txt