balacij
balacij
Right now, theory models are constructed with ModelKinds whilst obeying a `Theory` typeclass and using that typeclass over the ModelKinds data, but I think @JacquesCarette previously mentioned that it (the...
Regarding `code/drasil-lang/Language/Drasil/Chunk/Eq.hs` QDefinition's `cd` field, `cd` is intended to be manually set. Once `ModelKind` is implemented, as a second step, we'll want to change the combinators to require the 'concept...
As the title suggests, what is our “naming” code style? Right now we seem to have a mix of long/full and abbreviations used for name references. Should we prefer one...
@smiths has an [SRS template](https://github.com/smiths/capTemplate/blob/main/docs/SRS/SRS.pdf) he uses for CAS 741 and capstone projects (and, of course, a series of related papers). In CAS 741, we built our own scientific computing...
While trying to build my Beam Bending project for CAS 741, I came across what @JacquesCarette previously mentioned: generating code for defined functions is largely broken. It looks like there...
#3401 uncovered #3411. To resolve #3411, we built #3413 which makes `make stabilize` and `make test` the same (I think). Now we should go back and see what happened to...
The Quick Start in the README suggests Windows users use Cygwin to get basic developer tooling. The New Workspace Setup wiki recommends users just use WSL because it comes with...
Motivation: #3700 Objective: Adding more static analysis tools (here, `stan` and `weeder`) to our development workflow to help us automatically catch common mistakes. `stan` and `weeder` require [HIE](https://www.haskell.org/ghc/blog/20190626-HIEFiles.html) files post-compilation...
Contributes to #3700 by writing HIE information necessary for both `stan` and `weeder`
In #3017, we established that we will continue to use the name "Chunk" to refer to information Drasil works with. If we think of "chunks" as instances of our Haskell...