Glen Whitney
2772fd0c5c
All checks were successful
continuous-integration/drone/push Build is passing
In addition, for the sake of Haskell code generation, this PR adds static typing with Statix. Resolves #5. Co-authored-by: Glen Whitney <glen@studioinfinity.org> Reviewed-on: #19 Co-Authored-By: Glen Whitney <glen@nobody@nowhere.net> Co-Committed-By: Glen Whitney <glen@nobody@nowhere.net>
8 lines
131 B
Plaintext
8 lines
131 B
Plaintext
module signature/TYPE
|
|
signature
|
|
sorts TYPE // semantic type
|
|
constructors
|
|
INT : TYPE
|
|
STRING : TYPE
|
|
STREAM : TYPE
|