Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add common set/type symbols #841

Closed
zoickx opened this issue Sep 15, 2019 · 2 comments
Closed

Add common set/type symbols #841

zoickx opened this issue Sep 15, 2019 · 2 comments
Labels
Unicode
Milestone
3

Comments

@zoickx
Copy link

zoickx commented Sep 15, 2019

U+2115 ℕ (nat)
U+2119 ℙ (prop)
U+2124 ℤ (int)
U+1D539 𝔹 (bool)

These would be very useful for (among many others) anyone working with the Coq proof assistant.
@zoickx
Copy link
Author

zoickx commented Sep 15, 2019

Seems like a good addition to #822

@tonsky
Copy link
Owner

tonsky commented Sep 16, 2019

Thanks! I agree

@tonsky tonsky added this to the 3 milestone Sep 16, 2019
@tonsky tonsky added the Unicode label Sep 16, 2019
Losangelosgenetics pushed a commit to Losangelosgenetics/FiraCode that referenced this issue Mar 13, 2020
@gmacdougall @antstorm
Prevent Divide By Zero in Money#allocate (tonsky#841)
6da5812 
This leads to an error when attempting to allocate a zero value, and the
zero value is the first argument in parts.

Example:

```
[1] pry(main)> Money.new(100, "USD").allocate([1, 1, 0])
=> [#<Money fractional:50 currency:USD>, #<Money fractional:50 currency:USD>, #<Money fractional:0 currency:USD>]

[2] pry(main)> Money.new(100, "USD").allocate([0, 1, 1])
ZeroDivisionError: divided by 0

[3] pry(main)> Money.new(100, "USD").allocate([1, 1, 0.0])
=> [#<Money fractional:50 currency:USD>, #<Money fractional:50 currency:USD>, #<Money fractional:0 currency:USD>]

[4] pry(main)> Money.new(100, "USD").allocate([0.0, 1, 1])
FloatDomainError: NaN
```
@tonsky tonsky closed this as completed in 56a6ca3 Apr 9, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Unicode
Projects
None yet
Milestone
3
Development

No branches or pull requests
2 participants
@tonsky @zoickx