|
|
|
|
|
|
by dunefox
1127 days ago
|
|
|
The documentation could use some proof reading. Grammar etc. > Flix is strongly typed. Any attempt to use predicate symbol with terms of the wrong type (or with the wrong arity) is caught by the type checker. *Statically typed |
|
|