search

bryanedds / Sedela

The official repo for Sedela, the Semantic Design Lenguage.
MIT License
2 stars 1 forks source link

Write down the denotational semantics of the denotational parts of Sedela. #5

Open bryanedds opened 4 years ago

bryanedds commented 4 years ago

This is a non-trivial task, but seemingly worthwhile. Educational to the author, at the very least.