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

tool

#1

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.


#2

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


#3

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


#4

Making this discoverable on the Chrome Store sounds very useful.


#5

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