This repository was archived by the owner on Aug 2, 2024. It is now read-only.
This repository was archived by the owner on Aug 2, 2024. It is now read-only.
Stratified construction #179
Description
Implement static check for stratified construction:
Sequences, Datalog, and Transducers: Anthony Bonnera Giansalvatore Mecca