Yuchen Pei

icon indicating a website link https://ypei.org

icon location Github is bad and this account is only for contributions that can not be done elsewhere. My code is hosted at <https://g.ypei.me>.

Results 5 comments of Yuchen Pei

Add support for citing references

@EinfachToll By that I mean for example here is a paragraph: ``` We refer to @knuth-levy94 for the description of the literate programming system cweb. ``` In the output html,...

Add support for citing references

@Nudin If I understand it correctly, footnote is more or less "supported" already - just place an internal link `[[#1]]` where you want to put the `[1]` inline, and in...

Org backend

On Tue 2022-07-19 01:28:23 -0700, Hécate Moonlight wrote: > Hi @ycpei, and thank you very much for haddorg. :) > > The licensing is a bit tricky here, as I...

Org backend

On Fri 2022-07-22 00:19:49 -0700, Marcin Szamotulski wrote: > The link you provided, e.g. [1] does not contain any README.md file. Sorry about that. I assume you meant the README.org...

Port to GHC 9.x.x and emacs package

On Mon 2022-09-19 05:55:05 -0700, Alexey Kiryushin wrote: > Hello, > > Thank you for working on this! > > Pull requests are welcome. I'm perfectly ok with the AGPLv3+...