Skip to content

Add reals.py to handle numerical types for customization #21

Merged
carlos-adir merged 3 commits into
mainfrom
dev/reals
Jul 11, 2025
Merged

Add reals.py to handle numerical types for customization #21
carlos-adir merged 3 commits into
mainfrom
dev/reals

Conversation

@carlos-adir

@carlos-adir carlos-adir commented Jul 10, 2025

Copy link
Copy Markdown
Contributor

Solves #22

@carlos-adir carlos-adir added the enhancement New feature or request label Jul 10, 2025
@carlos-adir carlos-adir merged commit 7b30fa0 into main Jul 11, 2025
6 checks passed
@carlos-adir carlos-adir deleted the dev/reals branch July 11, 2025 21:49
@carlos-adir carlos-adir self-assigned this Jul 14, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant