Skip to content

Re-derive XL-2 on main: string templates in v2 parse/resolve and kernel String concatenation through the free monoid, under the text ruling (re-dispatch) - #13734

Closed
briansrls wants to merge 1 commit into
mainfrom
session/eager-ram-629
Closed

Re-derive XL-2 on main: string templates in v2 parse/resolve and kernel String concatenation through the free monoid, under the text ruling (re-dispatch)#13734
briansrls wants to merge 1 commit into
mainfrom
session/eager-ram-629

WIP: Re-derive XL-2 on main: string templates in v2 parse/resolve and…

2d91455
Select commit
Loading
Failed to load commit list.

There are no checks for this commit