with separate unused and arb, catches Global in bad3

remove unused, Global is 0 [skip ci]

Global + Local = Local??? [skip ci]

plus and times as in agda, correct for bad2 [skip ci]

notes from chat

add notes [skip ci]

add notes [skip ci]

implementation wip for review

changelog

Merge pull request #229 from granule-project/fractional

tweaks

fix typo

fix example/test

fix example/test

Merge branch 'main' into fractional

Add missing output file

Add missing output file

Quantification bug

filter out definitions with holes when trying examples

filter out definitions with holes when trying examples

CI: use preinstalled Stack; fix caching

filter out definitions with holes when trying examples

filter out definitions with holes when trying examples

Switch around who gets to be the "Normal" Set