Code

Add 'every' type predicate#4

Code

Merged

nshen merged 3 commits intonshen:mainnshen/narrowing:mainfrom hughrawlinson:mainhughrawlinson/narrowing:mainCopy head branch name to clipboardJun 8, 2022

+149-3

Commits

Commits on Jun 8, 2022

• Fix readme typos

  

  Hugh Rawlinson

  authored and

  Hugh Rawlinson

  committed
  1f0250b

  Copy full SHA for 1f0250b

• Add 'every' type predicate

  

  Hugh Rawlinson

  authored and

  Hugh Rawlinson

  committed
  1d89e04

  Copy full SHA for 1d89e04

• Add readme example for schema with type argument

  

  Hugh Rawlinson

  authored and

  Hugh Rawlinson

  committed
  0ac410d

  Copy full SHA for 0ac410d