improved absfuns.html generation, added links, improved comments in source files to give better documentation

This commit is contained in:
aarne
2015-10-14 09:05:37 +00:00
parent d277fe88e1
commit bb289d9297
11 changed files with 883 additions and 826 deletions

View File

@@ -27,7 +27,7 @@ cat
Sub1000000 ; -- 1..999999
data
num : Sub1000000 -> Numeral ;
num : Sub1000000 -> Numeral ; -- 123456 [coercion to top category]
n2, n3, n4, n5, n6, n7, n8, n9 : Digit ;