Make minor release: PS-0.12.x-v0.8.3

[JordanMartinez]

New Content

• Link to Hallgren's Fun with Functional Dependencies paper: Syntax/Type-Level Programming Syntax/src/An Overview of Terms and Concepts.md

• Under this file: Syntax/Type-Level Programming Syntax/src/Basic Syntax/Defining Functions.md

  • Explain that type-level expressions are "computed" by finding a type via unification
  • Loosen type-level function analogy by showing how it can "return" two types instead of one
  • Link to Prolog tutorials
  • Cite Learn Prolog Now so I can adapt their rules for our context

• Explain the limitations/issues of type-level programming: Hello World/Type-Level Programming/ReadMe.md

• Under this folder: `Hello World/Type-Level Programming/src/

  • Explain how to read/write type-level functions in practical usage
  • Explain some Row-related tips
  • Provide working examples of Symbol- / Row-based type-level programming
  • Overview the ecosystem of TLP and refer reader to those libraries to learn more

Corrections

• Explain functional dependencies much better: Syntax/Basic Syntax/src/TypeClasses and Newtypes/Functional Dependences.purs
• Add license info to pure/impure functions comparison table: Hello World/FP Philosophical Foundations/Pure vs Impure Functions.md
• Fix project's ReadMe to show more of the innards of some of its folders.