search

gogotanaka / hilbert

:dancers: Implement mathematics.
http://hilbert-lang.org/
553 stars 36 forks source link

Logic: P is TRUE but (~P)? is UNDEFINED #70

Closed anton-trunov closed 9 years ago

anton-trunov commented 9 years ago

P Defined: P is TRUE (~P)? (~P) is UNDEFINED

gogotanaka commented 9 years ago

Thank for reporting! I've fixed it here https://github.com/gogotanaka/Hilbert/commit/42a7f95d5aec006e52bf0411866225d2a7e0bad7

And you can confirm it by updating to v0.0.2700300

https://github.com/gogotanaka/Hilbert/releases/tag/v0.0.2700300

thanks.

anton-trunov commented 9 years ago

Yes, it works now. Thank you.