Reynir Björnsson

Results 143 comments of Reynir Björnsson

I don't know much about it. For bash-completion I suspect it could add completion scripts from installed opam packages, and I think those can run arbitrary commands. Then again I...

Thanks for the answer! I think that's a very reasonable approach and goal. So I guess "statically correct HTML5" could be interpreted as things we can statically verify. Do you...

Surely it must be possible to comb through opam-repository.git to get a maximal opam-repository with the latest and greatest metadata so your lock files don't break? Given that this problem...