Jacques Carette
Jacques Carette
The concept domain is supposed to answer the question "where does this quantity belong to?", i.e. what is the theory from which this quantity emerges. It is the 'context', in...
Thanks Dong - yes, that should help a new person navigate the current choices!
An empty list is *different* than a list containing the empty list, so they *should* be processed differently. The real problem is the abuse of lists as good-for-all data-structures. Part...
In Haskell, ```haskell newtype Foo a = Foo [a] ``` creates a type `Foo` that is essentially a list (it will be stored exactly as a list) but is also...
I like the idea of virtual knobs you can fiddle with, that could go from very modular to maximally unmodular (one giant function). And yes, some options will be incompatible/irrelevant...
Getting this one done sooner rather than later would be good. It's blocking us from writing the next Drasil paper.
What we need is to keep expanding `ModelKind` to have more features - such have having some theories that have inputs (and/or outputs). Any changes to this infrastructure that **does...
Probably no good reason for it. Try to fix it and see what happens!
Right - things like `DocSection` should have much more concrete contents. Having it have an extra type parameter seems like it could spiral out of control (though it wouldn't be...
Yes, and the project to revisit how we store the data in chunks.