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
140 B
Plaintext
8 lines
140 B
Plaintext
module statics/util
|
|
imports signature/TYPE
|
|
|
|
rules
|
|
lastTYPE : list(TYPE) -> TYPE
|
|
lastTYPE([T]) = T.
|
|
lastTYPE([U | TS]) = lastTYPE(TS).
|