GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at application link time.
Why do you think that https://github.com/leanprover/lean4 is a good alternative to ghc-wpc
GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at application link time.
Why do you think that https://github.com/leanprover/lean4 is a good alternative to ghc-wpc