Skip to content
  • Richard Eisenberg's avatar
    Update core spec to reflect changes to Core. · 9a96ff6b
    Richard Eisenberg authored and Marge Bot's avatar Marge Bot committed
    Key changes:
     * Adds a new rule for forall-coercions over coercion variables, which
    was implemented but conspicuously missing from the spec.
     * Adds treatment for FunCo.
     * Adds treatment for ForAllTy over coercion variables.
     * Improves commentary (including restoring a Note lost in
    03d48526) in the source.
    
    No changes to running code.
    9a96ff6b