Skip to content

Support functions on generic types#16

Open
runeksvendsen wants to merge 11 commits intomainfrom
forall-types
Open

Support functions on generic types#16
runeksvendsen wants to merge 11 commits intomainfrom
forall-types

Conversation

@runeksvendsen
Copy link
Copy Markdown
Owner

No description provided.

Leftover from other change
TODO: implement "renderFunctionType"
Run `cabal run server -- 8080 data/new-forall.json` to test.

Observations: there are lots of functions of the form `forall a -> a -> Blah a`. Result: all nodes in the graph are duplicated if we insert these functions into the graph.
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.

1 participant