search

vellvm / ctrees

An itree-like data-structure to additionally support internal non-determinism
MIT License
13 stars 2 forks source link

Typo in state #11

Closed elefthei closed 2 years ago

elefthei commented 2 years ago

Small typo, we want ctrees not itrees