Skip to content

Add typechecker and type annotations#36

Merged
c-w merged 2 commits intomasterfrom
typechecker
Aug 13, 2018
Merged

Add typechecker and type annotations#36
c-w merged 2 commits intomasterfrom
typechecker

Conversation

@c-w
Copy link
Contributor

@c-w c-w commented Aug 13, 2018

No description provided.

@c-w c-w requested a review from michaelperel August 13, 2018 16:11
Copy link
Collaborator

@armanrahman22 armanrahman22 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good to me!

@c-w c-w merged commit 1cd0adf into master Aug 13, 2018
@c-w c-w deleted the typechecker branch August 13, 2018 19:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants