Jacques Carette
Jacques Carette
`from` issue in Assumptions fixed in e5339acdd.
In a whole sequence of commits, `TMods` was made obsolete, as all its contents are in `drasil-data` now. The encoding is not perfect, but it's better than it was. So...
Fix `the` issue in Figures in d3cd663cf.
A bunch of concepts were defined in Unitals rather than Concepts - bb04a1e83 corrects that.
Given the current architecture assumptions we have, we're implicitly assuming there are 'outputs' of one kind or another. There are programs that don't, i.e. where no output is considered the...
I've got two new summer students, and I've asked them to start their work on stdlib here. Expect PRs 'soon'.
Yes, that's essentially correct. It's probably a good idea to start new issues for discussion of each sub-part (when needed), otherwise this issue is going to "blow up" in size...
As I said on another issue: as long as it doesn't end up in `Data.Nat.Base`, I'm quite happy to have alternatives in stdlib. `Data.Nat.Relation.Binary` seems like a good place indeed.
Sorry the summoning took so long to actually work, life interfered a lot. I've definitely thought long and hard about just this problem, and have done some prototype implementations. In...
My imagination fails be too: `Strictly` seems to be what seems to stick.