summaryrefslogtreecommitdiff
path: root/type
ModeNameSize
-rw-r--r--README50logplainabout
-rw-r--r--default.scm1609logplainabout
-rw-r--r--dictionary.scm9046logplainabout
-rw-r--r--expression-typechecking.scm13131logplainabout
-rw-r--r--pattern-binding.scm1278logplainabout
-rw-r--r--type-decl.scm12728logplainabout
-rw-r--r--type-error-handlers.scm1195logplainabout
-rw-r--r--type-macros.scm5036logplainabout
-rw-r--r--type-main.scm1932logplainabout
-rw-r--r--type-vars.scm2155logplainabout
-rw-r--r--type.scm901logplainabout
-rw-r--r--unify.scm5421logplainabout