Martin Milan
Martin Milan
(By the way, I created 2 related subreddits: * https://www.reddit.com/r/browserPOSIX/ * https://www.reddit.com/r/browserfs/ )
Are webpages with the same **title**, and the same hostname (e.g. lesswrong.com) and protocol (e.g. https) **considered equivalent**?? EDIT: third guess: probably not? EDIT: I have read google / site:web.hypothes.is...
Re: textmate-style language grammars for Tree Languages ... what about making **very rough** textmate grammars * e.g. for \*.gram\* files, highlight words like `\w*Cell` , `javascript`, `{`, `}` * by...
> Can something really be just a text file and support various third party tools without even using something like fuse (https://www.kernel.org/doc/html/latest/filesystems/fuse.html) ? > > and that's for treenotation without...
@datdinhquoc you probably know about ` #lang sweet-exp ...... ` > The third parameter on the #lang line is the base language used by the language mixin. The resulting language...
a web page related to your question: http://christianrubiales.com/hyperpoly/?q=java,python
where would you want to insert the column for Lean? my suggestion: https://docs.google.com/spreadsheets/d/1Or_sAxcf8G5VGoIXXEJl8Agaz5FOx6qMwwOy9aFH-e4/edit?usp=sharing (https://docs.google.com/spreadsheets/d/1w4MAxWcWjX3aMBRkOsqjwcAabFtY4WT4JloPRd944og/edit?usp=sharing) related: [a free book on using Lean 4 as a programming language](https://leanprover.github.io/functional_programming_in_lean/title.html)
https://github.com/pipcet/wasm/releases
# (in browser, commands work correctly) (but with 1 extra error message) ```sh (cowasm)$ cat wrongname1 cat: wrongname1: No such file or directory (cowasm)$ cat wrongname1 cat: wrongname1: No such...
# (in a built dash, and using only the cat from the tar package, no errors) I have built only dash and the **tar package** (contains also cpio and **cat**)....