Skip to content

Implement sorts and typechecking #2

Open
Open
Implement sorts and typechecking#2
Labels
enhancementhelp wanted
@iensen

Description

@iensen
iensen
opened on Jul 8, 2018

Design and implement sorts (adapt the syntax from SPARC:
https://github.com/iensen/sparc/blob/master/User_Manual/Sparc_Manual.pdf?raw=true)

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementhelp wanted

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions