b5cd7cb Prevents unification from introducing mroe CastDicts, CastTys, or FamilyApps.
~remexre pushed to ~remexre/sylvan git
A general-purpose programming language that aspires to have support for attribute grammars, managed effects, and efficient pure functional programming. See the website for more information.
This repo follows version 3.0 of the REUSE specification, and spec-compliance is machine-checked every commit. Files may be marked individually, but broadly speaking (in a non-binding and imprecise manner; the REUSE-given information is authoritative):