Closed qnighy closed 6 years ago
As far as I know, there are three common syntaxes for type constructors and one:
map(k, v)
map k v
(k, v) map
k v map
I suggest changing the syntax to Haskell-like one, which is uniform to SATySFi's expressions.
I'm closing this issue for now. See #50 for discussion.
As far as I know, there are three common syntaxes for type constructors and one:
map(k, v)
: C++, Reason, Rust etc.map k v
: Haskell, OCaml (revised syntax), Coq etc.(k, v) map
: OCaml (normal syntax), SML, etc.k v map
: SATySFiI suggest changing the syntax to Haskell-like one, which is uniform to SATySFi's expressions.