Skip to content

Add rank-1 polymorphism to the type system #41

Open
@kozross

Description

Follow-on from #8 . We need rank-1 polymorphism to do many useful things, and this isn't a problem in general as the ASG is explicitly typed anyway.

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Assignees

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions