Fernando Chu

Parsing custom input, a minimal example?

2

Hello, I wanted to know if you could give a simple example on how to use nom as a parser for custom input types. I've seen that it is well...

Automatic parsing of of text with latex delimiters

1

One missing feature that I'd love that is not built in into the original react-katex or katex itself is parsing text. This is normally achieved in katex by using the...

fix nix-build command

1

Just a silly typo that confused me a bit ;p

Clarification of the proof of Lemma 6.2.9. (universal property of the circle)

10

Here's the proof for easy reference  (In what follows, I've renamed the $f $ in the proof to $\varphi $) For two fibers $(f , eqf) ,(g , eqg)...

Currently breakpoints generate up the value in the array, e.g `breakpoints={[640]}` generates two breakpoints, 0px-640px and 601px-infinity. I would suggest the breakpoint being generated to not include the number in...

Universal property of the circle

1

Solves https://github.com/HoTT/book/issues/1123 by defining the quasi-inverses.

Assumption that `A // R` is a set

4

 The proof of the theorem 6.10.6. uses implicitly that `A // R` is a set, since in general we need a embedding, not an injection. That `A // R`...

Vscode extension in the open VSX registry

1

It would be nice if the vscode extension is also in the [open VSX registry](https://open-vsx.org/), so that [vscodium](https://vscodium.com/) users can easily install the extension. Once that is set up, if...

**Describe the bug** Swift cards with resized images fail to generate a card correctly. **Steps to Reproduce:** Steps to reproduce the behavior: Make a swift card with a resized image...

Fixes https://github.com/yoyurec/logseq-awesome-props/issues/14 by hiding those property-blocks that have only hidden properties.