 ulfn
|
d05260528c
[ issue 730 ] BUILTIN NATURAL now binds ZERO and SUC
|
11 年 前 |
 Nils Anders Danielsson
|
310d8c455c
Fixed a bug: OPTIONS pragmas stayed in effect for imported modules.
|
15 年 前 |
|
ulfn
|
01f0a31456
fixed issue 172 specification of primitive div and mod incorrect
|
15 年 前 |
 ulfn
|
250f11bb76
renamed more things called |
|
18 年 前 |
|
ulfn
|
2d44fa877a
syntax change: using/hiding lists are separated by ;
|
18 年 前 |
|
ulfn
|
196e0ce6c0
library cleanup
|
18 年 前 |
|
ulfn
|
d3a6ddc55c
screen example
|
18 年 前 |
|
ulfn
|
671702ec53
more work on the library
|
18 年 前 |
|
ulfn
|
cd44fa62cc
removed primitive div2 and mod2 and added verification of divSuc and modSuc
|
18 年 前 |
|
ulfn
|
46ea7c442c
started on port of Few Digits library for exact real arithmetic
|
18 年 前 |
|
ulfn
|
3988dde36e
start at some kind of library
|
18 年 前 |
