Closed lhstrh closed 1 year ago
After merging in #58, we should remove the existing lingua-franca-playground repository and rename this one to lingua-franca-playground.
lingua-franca-playground
After merging in #58, we should remove the existing
lingua-franca-playgroundrepository and rename this one tolingua-franca-playground.