Сухарик

Downloading Lean toolchains manually

7

I have a poor internet connection, and elan fails to download files from releases.lean-lang.org. It there a way to tell `elan` to instead use files I downloaded manually?

It would be nice to support [SRFI-119](https://srfi.schemers.org/srfi-119/srfi-119.html). By the way, Guile [already supports it](https://www.gnu.org/software/guile/manual/html_node/SRFI_002d119.html) out of the box.

Porting Pharo VM to another OS

4

I ported opensmalltalk-vm to Haiku, and would like to port Pharo VM as well. But unlike opensmalltalk-vm, Pharo VM [requires working Pharo to compile](https://github.com/pharo-project/pharo-vm/wiki/General-Build-Information). Is there a different way to...

`substitute` and `substituteInPlace`

1

Nixpkgs has very handy [`substitute` and `substituteInPlace` commands](https://github.com/NixOS/nixpkgs/blob/master/doc/stdenv/stdenv.chapter.md#substitute-infile-outfile-subs-fun-substitute) for exact string substitution which replace more error-prone usages of `sed`. It would be nice to have the same commands in Haikuporter.

How to describe a patent for a different country?