Move lindies to obtheory from obaptheory

orcmid / miser

The Miser Project is practical demonstration of computation-theoretical aspects of software

https://orcmid.github.io/miser/

Apache License 2.0

3 stars 1 forks source link

Open orcmid opened 1 year ago

orcmid commented 1 year ago

They are still uninterpreted but they are a way to exhibit more data structuring.

I am a little ambivalent about this, although it makes sense for having a way to encode things.