A small tool for switching between .mli/.ml file when you are viewing code on Github

Spent some minimal effort to make this Chrome extension so you don’t have to manually fool around with Github URLs. If there is more people find it useful I will publish it to Chrome Web Store later.



That’s cool. May be you can add switching between .re and .rei for reason files in the same extension.

1 Like

Hi sure, I am thinking of adding this to reason-tool. Let me do that first.

1 Like

Making this discoverable on the Chrome Store sounds very useful.

Hi this is now part of reason-tools, it will be in for next release.