SnO₂WMaN

`aesop`を使って簡単な自動化を入れているが，遅いし上手く行かないことも多く不便

詳細: https://scrapbox.io/sno2wman/Boxdot%E7%89%B9%E6%80%A7 close #41

_Originally posted by @SnO2WMaN in https://github.com/iehality/lean4-logic/issues/34#issuecomment-2053638218_

For some reasons, it's better to adopt Strict Implication (`⥽`) than Box (`□`) for consideration intuitionistic modal logic. cf: - https://arxiv.org/abs/1708.02143

Dependency Problem

9

https://github.com/SnO2WMaN/deno2nix/issues/4#issuecomment-1241689268

support npm modules

2

It was planned but `deno compile` with npm modules not supported.

https://github.com/SnO2WMaN/deno2nix/issues/4#issuecomment-1241321482 https://esm.sh/#esbuild-options > By default, esm.sh will check the User-Agent header to get the build target automatically. You can specify it with the ?target query. Available targets: es2015 - es2022,...