8000 stack_type should be list type · Issue #1 · tezos/tezoscoq · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
stack_type should be list type #1
New issue
New issue
Open
Open
stack_type should be list type#1
@CoinFormalizer

Description

@CoinFormalizer
CoinFormalizer
opened on Nov 2, 2016

Right now stack type is defined as

with stack_type := | empty_stack : stack_type | cons_stack : type -> stack_type -> stack_type

but it should be something as close as possible to list type.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions
      0