Christian Sattler

Fix typos in design.md

4

Signed-off-by: Christian Sattler

Maruku 0.7.3 crashes on itex example

2

Running `maruku -i itex` on the input ``` \begin{c}\label{DoubleNegationMonad} \end{d} \begin{proof} Immediate from \ref{Monads} ``` raises an exception: ``` maruku/ext/math/parsing.rb:114:in `block in ': undefined method `captures' for nil:NilClass (NoMethodError) ```

Nested invocations of proot fail

2

I tried nesting invocations of proot: ```terminal $ proot proot proot true ``` ## Expected Behavior The program call should succeed. ## Actual Behavior ```terminal proot error: ptrace(TRACEME): Operation not...

File order of checking matters (rewrite rules)

5

The issue #4267 has a cousin for rewrite rules. Again, the root cause is #4272. Consider the following files. - M.agda: ```agda {-# OPTIONS --rewriting #-} module M where postulate...

Broken page cache expiration logic

9

This is currently the logic for expiring a page: ```ruby def expire_caches(page) expire_cached_summary_pages(page.web) pages_to_expire = [page.name] + WikiReference.pages_redirected_to(page.web, @will_expire) + WikiReference.pages_that_include(page.web, @will_expire) unless (page.name == @will_expire) pages_to_expire.concat ([@will_expire] + WikiReference.pages_that_link_to(page.web,...

(Extracted from [here](https://github.com/parasew/instiki/issues/89#issuecomment-1291088561).) Build log: ``` Sending build context to Docker daemon 138.7MB Step 1/9 : FROM ruby:2.3 ---> c0d23ebb3ed6 Step 2/9 : RUN apt-get update -y && apt-get install...

Instiki Gemfile broken after release of Rack 3

2

Wasted a few hours on this. This is a good reminder to use conservative version constraints.

Fixes #90.

pathlib support

9

Suppose we are in an empty bare repository: ``` git init --bare ``` This operation gives a `TypeError` (instead of a `KeyError` as expected): ```python import dulwich.repo from pathlib import...

Explicitly distinguish between regular and higher data types

13

I think it makes sense to distinguish between regular data types and higher data types in a more explicit way than just the presence of a path constructor. (Has this...