Skip to content

And now for something completely different#10

Open
mredaelli wants to merge 1 commit into
mainfrom
types_everywhere
Open

And now for something completely different#10
mredaelli wants to merge 1 commit into
mainfrom
types_everywhere

Conversation

@mredaelli
Copy link
Copy Markdown
Collaborator

@mredaelli mredaelli commented Apr 21, 2024

I didn't get as far as I wanted, but this is a good chunk of the way to rewriting the GridWorld.

Impressions welcome. @simfis @mensch72

Of course it doesn't run yet, but I added testcases (install pytest with pip and run pytest from inside src). If you have suggestions for other cases to add, more than welcome.

@mredaelli mredaelli requested a review from simfis April 21, 2024 20:06
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