Skip to content

Conversation

@WalzerMelodica
Copy link

Hello David, now I hope I'm in the right place :)

@noinia
Copy link
Owner

noinia commented Jan 13, 2021

I'm not David, but I think you're good to start implementing stuff now ;). You may want to give this pull request a useful name to that end :).

@lemmih
Copy link
Collaborator

lemmih commented Jan 14, 2021

Yes, this is perfect! I'll add type-signatures and an explanation of the random star-shaped polygon algorithm.

@lemmih lemmih changed the title I hope now it is fine :) [WIP] Random, star-shaped polygons Jan 14, 2021
@lemmih
Copy link
Collaborator

lemmih commented Jan 14, 2021

If you want to do something other than star-shaped polygons then we can still use this draft PR.

@lemmih
Copy link
Collaborator

lemmih commented Jan 14, 2021

Hi @WalzerMelodica. I pushed a new module with a description of the problem and a list of functions that can help you solve it. Run git pull and then look at hgeometry/src/Data/Geometry/Polygon/Star.hs.

@lemmih lemmih marked this pull request as ready for review January 18, 2021 01:55
@lemmih lemmih changed the title [WIP] Random, star-shaped polygons Random, star-shaped polygons Jan 18, 2021
@lemmih lemmih changed the title Random, star-shaped polygons [WIP] Random, star-shaped polygons Jan 18, 2021
@lemmih lemmih marked this pull request as draft January 18, 2021 01:56
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.

3 participants