search

tweag / asterius

DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc
1.97k stars 58 forks source link

placate mdbook #887

Closed nrnrnr closed 2 years ago

nrnrnr commented 2 years ago

mdbook sucks

purcell commented 2 years ago

Probably the mdbook devs are very nice people, also working in the open, and when there's frustration (this is software, after all!) I might suggest it would be preferable to express it constructively. ❤️

nrnrnr commented 2 years ago

Good point. I'm used to private repositories, where steam can be released without an audience.