search

gogotanaka / hilbert

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

逆元と単位元を導入して:/, :- 演算子の規定は代数規則に任せる #2

Closed gogotanaka closed 10 years ago

gogotanaka commented 10 years ago

https://github.com/gogotanaka/dydx/pull/9

このPRで一緒に入れた