egison 4.0.1 → 4.0.2
raw patch · 3 files changed
+3/−3 lines, 3 files
Files
- egison.cabal +1/−1
- lib/core/number.egi +2/−0
- lib/math/common/constants.egi +0/−2
egison.cabal view
@@ -1,5 +1,5 @@ Name: egison-Version: 4.0.1+Version: 4.0.2 Synopsis: Programming language with non-linear pattern-matching against non-free data Description: An interpreter for Egison, a **pattern-matching-oriented**, purely functional programming language.
lib/core/number.egi view
@@ -175,3 +175,5 @@ (n / x) (1 / x)) in (n, map 3#%3 s, map 3#%3 c)++pi := f.pi
lib/math/common/constants.egi view
@@ -2,7 +2,5 @@ -- Mathematical constants -- -pi := π- MinkowskiMetric := [|[|-1, 0, 0, 0|], [|0, 1, 0, 0|], [|0, 0, 1, 0|], [|0, 0, 0, 1|]|]