Skip to content
This repository has been archived by the owner on Mar 16, 2024. It is now read-only.

Added real type #16

Open
wants to merge 38 commits into
base: master
Choose a base branch
from
Open

Conversation

juliaofferman
Copy link

No description provided.

@SaswatPadhi
Copy link
Owner

Thanks for working on this PR, Julia!

I finally have everything setup and will be reviewing this soon.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants