search

imdea-software / fcsl-pcm

Partial Commutative Monoids
Apache License 2.0
26 stars 12 forks source link

Automate frame + pull fully #32

Closed clayrat closed 2 years ago

clayrat commented 2 years ago
  1. m = m' + ms
  2. tms = syntactify ms
  3. tg = syntactify g
  4. trs = subtract tg tms
  5. r = pprint trs
  6. partition m r
clayrat commented 2 years ago

Should've been https://github.com/imdea-software/htt/issues/17