<blockquote> I began creating <a href=“https://github.com/mlochbaum/ILanguage” rel=“ugc”>I</a> after the stunning realization that my two favorite features of J—rank and forks—were actually the same concept! A paper describing this idea, a generalization of what Haskell calls the Functor typeclass </blockquote> is this link! <blockquote> It assumes no knowledge of any specific language. </blockquote> Comments