Special Forms
The following are all special forms in Shen and have their own hard-coded type rules;
they are not type checked in curried form and do not sustain type secure currying.
@p, @s, @v, cons, lambda, let, type, where, input+, define, defmacro, datatype, /., synonyms, open |
