8000 Add primitive types · Issue #8 · UChicago-PL/smyth · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
Add primitive types #8
New issue
New issue
Open
Open
Add primitive types#8
Labels
enhancementNew feature for the command-line toolgood first issueGood for newcomers
@justinlubin

Description

@justinlubin
justinlubin
opened on Jun 28, 2020

Add primitive (base) types to Smyth other than (), à la Escher.

In particular, add natural numbers. (Strings as lists of characters would be a nice secondary goal.)

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementNew feature for the command-line toolgood first issueGood for newcomers

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions
      0