You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository has been archived by the owner on Sep 19, 2019. It is now read-only.
Currently there are only types corresponding to Logo tokens. We also need a result type that will represent the outcome of evaluating an expression or result.
The text was updated successfully, but these errors were encountered:
Turns out it was not needed. I decided to overload the LogoToken type to represent the results of an evaluation. Strictly speaking, a valid evaluation can only use a subset of constructors defined by LogoToken. Once I learn to use GADTs better, I might be able to have a more robust type definitions. Till then this should suffice.
Currently there are only types corresponding to Logo tokens. We also need a result type that will represent the outcome of evaluating an expression or result.
The text was updated successfully, but these errors were encountered: