Implement C Stack Boilerplate

Twigonometry / IsabelleDSL

IsabelleDSL (iDSL) is a framework for generating Domain-Specific Languages from specifications written in Isabelle

0 stars 0 forks source link

Open Twigonometry opened 2 years ago

Twigonometry commented 2 years ago

Implement boilerplate for stack datastructure in C

Twigonometry commented 2 years ago

Implemented in 28eaf006 but needs testing once issues with #29 have been fixed