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

2026-06-26 19:46:26 -06:00 · 2015-10-14 09:05:37 +00:00
parent b6c6962d64
commit a730d11556
11 changed files with 883 additions and 826 deletions
@@ -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 ;