Jacques Carette
Jacques Carette
I've added a "maintainer's meeting agenda" section to the Wiki and created [a page](https://github.com/agda/agda-stdlib/wiki/Agenda-TBD) for our to-be-scheduled next meeting.
Looks like this was mostly me writing this, when I had a burst of time in 2021. And the burst probably intended for more to be written, and that did...
How is this different than the other PR that I just reviewed?
Perhaps it is the last 5 commits which are new, is that right?
There is now a conflict to resolve. It doesn't quite build yet -- but do you want me to review anyways or wait until it builds?
CI is now failing with ``` website: Term: dblpend_cliffordAlgebra not found in TermMap CallStack (from HasCallStack): error, called at lib/Database/Drasil/ChunkDB.hs:153:17 in drasil-database-0.1.1.0-AiAmzIVfviD8nFViU1NgCN:Database.Drasil.ChunkDB ```
I am not sure the usual `make test` builds `website`, which is where this is happening.
Your 'Note' is great. I would actually implement a combination of both, i.e. ```haskell data ClifS = ClifS Dimension Grades Space ``` and a smart constructor for `Grades` the way...
Alas, no progress. It is not hopeless (I have done a fair bit of coding in the last 3 weeks, just one other items. And they have progressed a lot,...
Whether @MatthewDaggitt regards it as a bug is a good question. If he does, then that opens up multiple ways forward. I do think `stdlib` should be fixed to be...