search

morazanm / fsm

A DSL for the Automata Theory Classroom
15 stars 6 forks source link

Implement contracts on machine constructors #103

Closed josdes closed 9 months ago