Morrow is small programming language designed for experimentation with advanced type system concepts. In particular, extensible polymorphic records and variants, combined with impredicative higher-ranked type inference. This combination leads to an expressive core language that is able to express many progamming language concepts directly without specific extensions.
At one point, Open Hub analyzed source code for this project based on code location(s) available at that time. Since then, the code locations have been removed.