yuujinchou is an OCaml package for hierarchical names and lexical scoping.
Please consult the package website for more information.
RedPRL/yuujinchou
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
yuujinchou is an OCaml package for hierarchical names and lexical scoping.
Please consult the package website for more information.