Code

Added note about first-class-families#19

Code

Open

JonathanLorimer wants to merge 2 commits intoisovector:masterisovector/thinking-with-types:masterfrom JonathanLorimer:first-class-familiesJonathanLorimer/thinking-with-types-1:first-class-familiesCopy head branch name to clipboard

+2

Commits

Commits on Sep 10, 2019

• Added note about first-class-families

  JonathanLorimer

  committed
  cf0e9d1

  Copy full SHA for cf0e9d1

• added more specific text

  JonathanLorimer

  committed
  2191274

  Copy full SHA for 2191274