(Ara) Better checks if a Num or Ord is a numeral

This commit is contained in:
Inari Listenmaa
2018-10-15 16:08:11 +02:00
parent 8db210fd97
commit 7b13eb0ade
6 changed files with 39 additions and 37 deletions
+2 -2
View File
@@ -26,8 +26,8 @@ lin
SymbS sy = sy ;
SymbOrd n = {s = \\_,_,_ => n.s ; n = None } ;
SymbNum n = SymbOrd n ** { n = ThreeTen } ; ----IL
SymbOrd n = {s = \\_,_,_ => n.s ; n = One ; isNum = False } ;
SymbNum n = SymbOrd n ** { n = ThreeTen ; isNum = True } ; ----IL
lincat