Ricky Zhuang
Ricky Zhuang
Every time I leave a productive website it says I got 0 XP/Gold and it is only when I click the take break button that I get XP/Gold ## Want...
When I go on a "procrastinating" website it shows me that I gained 0 XP but did not lose any health, it is only when I go in "options" and...
This is a continuation of #2966. I brought it up to date with `master`, but do the changes look good to merge in? If not, what are the outstanding issues?
`uid` being a lens means that the UID of all instances of `HasUID` can be both read and written to. I `grep`ed for all occurrences of `uid` in the code...
Currently the definition of `phrase` is as follows. ```haskell phrase :: NamedIdea n => n -> Sentence phrase n = sentenceTerm (n ^. uid) ``` It constructs a `Sentence` that...
Each of these might need to be its own issue, but I thought to create this issue to start a high-level discussion about what we want from arrays in GOOL....
As part of #2873, we need to eliminate multiple chunks having the same UID. I have taken a look at the [UID conflicts in Projectile](https://github.com/JacquesCarette/Drasil/blob/master/code/stable/projectile/.drasil/problematic_seeds.json), and the following are all...
I think this is easiest to explain by an example. `function` in GOOL declares a function. It has the following type signature. ``` function :: Label -> r (Scope r)...
As we have seen in the discussion on #3392, a lot can change across different versions of TeX Live. At any given time, we should have a version of TeX...