Code

Refinement types plus Null/NonNull#2103

Code

Closed

jamesmckinna wants to merge 16 commits intoagda:masteragda/agda-stdlib:masterfrom jamesmckinna:refinement+nulljamesmckinna/agda-stdlib:refinement+nullCopy head branch name to clipboard

Commits

Commits on Sep 22, 2023

• Addresses issue agda#2092

  jamesmckinna

  committed
  fbd5cf3

  Copy full SHA for fbd5cf3

• fix-whitespace

  jamesmckinna

  committed
  811ea94

  Copy full SHA for 811ea94

• NonZero as NonNull

  jamesmckinna

  committed
  4ef0e1e

  Copy full SHA for 4ef0e1e

• ... simplified

  jamesmckinna

  committed
  29a037c

  Copy full SHA for 29a037c

• refinement (sic): constructor for cons

  jamesmckinna

  committed
  701563a

  Copy full SHA for 701563a

• tidying up scanr

  jamesmckinna

  committed
  0cc39e6

  Copy full SHA for 0cc39e6

• third ways to scanr

  jamesmckinna

  committed
  acb09e0

  Copy full SHA for acb09e0

• streamlining

  jamesmckinna

  committed
  c757065

  Copy full SHA for c757065

Commits on Sep 23, 2023

• renaming, derived notions

  jamesmckinna

  committed
  822b420

  Copy full SHA for 822b420

• pulled redefinitions out into README

  jamesmckinna

  committed
  2c7de75

  Copy full SHA for 2c7de75

• tidying up List instances

  jamesmckinna

  committed
  ced12f8

  Copy full SHA for ced12f8

• added Decidable refinements, plus some derived forms

  jamesmckinna

  committed
  58d5ca8

  Copy full SHA for 58d5ca8

• fix-whitespace

  jamesmckinna

  committed
  d4138cd

  Copy full SHA for d4138cd

• updated CHANGELOG

  jamesmckinna

  committed
  0a7b3b5

  Copy full SHA for 0a7b3b5

• derived property: nonZero?

  jamesmckinna

  committed
  f058a1a

  Copy full SHA for f058a1a

Commits on Oct 3, 2023

• Merge branch 'master' into refinement+null

  jamesmckinna

  authored
  7505558

  Copy full SHA for 7505558