Commit Graph

603 Commits

Author SHA1 Message Date
Marshall Lochbaum
5c59da7376 Handle fills in monadic ⎉ by passing to the runtime 2022-06-08 18:02:29 -04:00
Marshall Lochbaum
f686298664 Native empty dyadic Cells (˘) 2022-06-08 18:01:27 -04:00
dzaima
14b7942556 )clearImportCache 2022-06-05 17:17:20 +03:00
dzaima
3f7261c812 fix error when UTF-8 •SH output is split between reads 2022-06-04 17:26:00 +03:00
dzaima
cc8d1cb4d7 fix m_vec1 under OOM 2022-06-04 02:13:01 +03:00
dzaima
4a2d460998 fix tbl_c2 under OOM 2022-06-04 02:12:50 +03:00
dzaima
8ad7b6149f OOM fuzz testing base 2022-06-04 01:19:17 +03:00
dzaima
9248d1e876 fix ⊔ leaving item shape uninitialized 2022-06-03 23:40:55 +03:00
dzaima
d3555b4af6 fix •Import when execution errors 2022-06-03 20:35:38 +03:00
dzaima
f9a8eb0ce3 static noinline apparently results in argument slots being optimized out
but that means that the arguments between the two won't align, resulting in unnecessary 'mov's
2022-06-03 02:51:09 +03:00
dzaima
2697e749e1 better ⌾ fallback 2022-06-02 03:30:39 +03:00
dzaima
cb1338951c more shcpy 2022-05-30 17:53:54 +03:00
dzaima
3455bed3ee remove pointless check in ≠𝕩 2022-05-30 15:12:48 +03:00
dzaima
3c314e266a correct format string 2022-05-30 02:13:50 +03:00
dzaima
79bd6fc689 use shProd more 2022-05-30 02:07:25 +03:00
dzaima
cc44b3e57b shProd 2022-05-30 01:54:47 +03:00
Marshall Lochbaum
68914c1a39 Native dyadic Rank modifier implementation, except empty frames 2022-05-29 18:14:04 -04:00
Marshall Lochbaum
3947463c34 Native dyadic Rank modifier implementation when one or both arguments are full rank 2022-05-29 18:14:04 -04:00
Marshall Lochbaum
2c0de9ee02 Check rank vector completely before starting computations in ⎉ 2022-05-29 18:14:04 -04:00
dzaima
e2fda60745 profiler 2022-05-29 22:02:50 +03:00
dzaima
a108ef2ce7 use eqShPart in arithd.c 2022-05-29 14:44:44 +03:00
dzaima
54645df2a9 use shcpy for copying shapes 2022-05-29 14:08:30 +03:00
dzaima
3dd1bffe2f don't unroll arr_csz 2022-05-29 13:57:03 +03:00
dzaima
bf618b9b64 native 𝔽⌾(n⊸↑) & 𝔽⌾(n⊸↓) 2022-05-29 13:38:04 +03:00
dzaima
093958f92a
Merge pull request #21 from dzaima/ffi
FFI
2022-05-28 01:29:21 +03:00
dzaima
af194b55ae make •FFI read relative to file 2022-05-22 04:42:59 +03:00
Paul A. Patience
e684c64847 Add •file.Remove 2022-05-13 21:18:47 -04:00
Paul A. Patience
fdeae8fbfe Add •file.Rename 2022-05-12 18:19:23 -04:00
dzaima
d186294e28 allocate at least minimum size, rename functions 2022-05-11 22:56:14 +03:00
dzaima
a601ba6a76 very unfinished FFI 2022-05-11 22:30:14 +03:00
dzaima
409524d958 noinline version of vec_add 2022-05-11 18:31:49 +03:00
dzaima
ec273f2102 fix •file.CreateDir 2022-05-10 14:19:15 +03:00
dzaima
63bd4a876e •file.CreateDir 2022-05-09 22:57:37 +03:00
dzaima
894c56205f native ⌾⍉ 2022-05-02 20:35:16 +03:00
dzaima
3496a939b6 more switch cleanup 2022-05-01 04:47:21 +03:00
dzaima
0164e4e0bc lazy i8/i16 ∧𝕩 & ∨𝕩 2022-05-01 03:30:11 +03:00
dzaima
88f4fdaa7e 16-bit & 64-bit ⊔ cases 2022-05-01 03:14:23 +03:00
dzaima
5d687b1ac3 lazy impl of i8/i16 arrays in 𝕨 of ⊔ 2022-05-01 03:00:36 +03:00
dzaima
cee8e841f9 better fillarr creating in •internal.Variation 2022-05-01 02:49:10 +03:00
dzaima
0907458b4d allow c32 to use i32 path in ⍋𝕩 2022-05-01 02:34:47 +03:00
dzaima
836fe9184a deduplicate things in ⊏ 2022-05-01 02:24:51 +03:00
dzaima
886feb4ed0 fix fill handling of ⌽ 2022-05-01 02:10:31 +03:00
dzaima
7ece6b2179 unified int & char cases for ⊔ 2022-05-01 01:35:16 +03:00
dzaima
7f9773f971 unified int & char cases for ⍉ & ⌽ 2022-05-01 01:35:11 +03:00
dzaima
1babdf247f unified int & char cases for bitarr/x 2022-04-30 21:49:47 +03:00
dzaima
426187be07 make •SH run under cygwin 2022-04-29 22:38:18 +03:00
dzaima
3f92c32399 no-op ⥊vec 2022-04-25 18:10:37 +03:00
dzaima
53b7b2465e correct floating point order of +´ and ×´ 2022-04-21 15:51:10 +03:00
dzaima
6f5414b2a5 ∨`bitarr 2022-04-21 15:12:23 +03:00
dzaima
cd431d3338 singeli +` 2022-04-21 03:51:37 +03:00
dzaima
826e9c693a fix 2×´1‿1 2022-04-18 23:23:46 +03:00
dzaima
996009bf09 remove unnecessary header inclusion 2022-04-12 16:58:33 +03:00
dzaima
2e6f94bbf5 move immintrin.h file within ifdef 2022-04-12 16:57:47 +03:00
dzaima
a4a72a78c4 singeli select (disabled) 2022-04-12 16:45:43 +03:00
dzaima
c54e63099f additional check in •internal.Variation 2022-04-12 16:24:25 +03:00
dzaima
f079aa5f76 move select to its own file 2022-04-12 16:23:43 +03:00
dzaima
d28454206d check •term.OutRaw & •term.ErrRaw input, fix •bit._cast overflow check 2022-04-09 22:53:57 +03:00
dzaima
fcb6a164ca fix •bit._cast on large inputs 2022-04-09 20:14:42 +03:00
dzaima
355bd5646e correct •file.MapBytes name 2022-04-09 19:51:27 +03:00
dzaima
acc8e35c2f •file.MapBytes 2022-04-09 19:45:14 +03:00
dzaima
422dc80283 decG round 4 2022-04-07 17:19:36 +03:00
dzaima
ff6a0a6d22 decG round 3 2022-04-07 16:03:50 +03:00
dzaima
69067b8fcc decG round 2 2022-04-07 15:15:28 +03:00
dzaima
9b8f8f3725 decG round 1 2022-04-07 13:56:11 +03:00
dzaima
502197b62f explicitly disable spawn on wasm 2022-04-06 20:05:27 +03:00
dzaima
377b38b84f fix •term.RawMode fallback 2022-04-06 19:14:10 +03:00
dzaima
4a316c9398 don't include setjmp.h when CATCH_ERRORS=0 2022-04-06 18:52:54 +03:00
dzaima
e3fe87d040 optimize eequal & expose as •internal.EEqual 2022-04-04 16:16:29 +03:00
dzaima
1ce5712a97 f64 case in ⊑ 2022-04-04 11:30:35 +03:00
dzaima
4ed2d0bec2 sysfn cleanup 2022-04-03 17:38:06 +03:00
dzaima
a9331ef8f0 fast bit_cpy head & tail 2022-04-02 23:47:07 +03:00
dzaima
3e4b0e882d •internal.Temp 2022-04-02 20:40:46 +03:00
dzaima
980f20df9a 𝕨/𝕩: move tail skipping to BMI-less build 2022-04-02 17:54:21 +03:00
dzaima
40dc184063 use singeli for c16lut generation 2022-04-02 17:19:20 +03:00
dzaima
49ff5a04ff singeli ≡ 2022-04-02 16:58:35 +03:00
dzaima
b6dc3cc239 /bitarr → i8arr & i16arr 2022-04-01 23:30:57 +03:00
dzaima
37bf551e54 BMI2 bitarr/i8arr & bitarr/i16arr 2022-04-01 22:41:32 +03:00
taswelll
cebadbd301
fix •term.ErrRaw 2022-03-22 22:34:37 +01:00
dzaima
7b031a2aa0 •file.Exists 2022-03-15 21:37:33 +02:00
dzaima
eae7501d36 fix •file.Type when file not present 2022-03-15 20:47:01 +02:00
dzaima
ccd2b70747 more mut_fillG 2022-03-12 03:53:27 +02:00
dzaima
d78a45a457 smarter virtual function reading deduplication 2022-03-12 03:44:46 +02:00
dzaima
9d3067fa4b new mut interface 2022-03-12 03:08:25 +02:00
dzaima
d8835d2407 very slightly faster •_while_ 2022-03-10 21:35:27 +02:00
dzaima
ef9d92be5c return 2 32-bit numbers from •Hash 2022-03-10 19:16:09 +02:00
dzaima
b7ec175901 rename •term.Raw→•term.RawMode 2022-03-10 19:04:24 +02:00
dzaima
94e22ecf8f fix error message 2022-03-06 23:47:40 +02:00
dzaima
d2674db956 heap dump 2022-03-06 15:38:30 +02:00
dzaima
03978f333c make •bit._cast properly error on non-array 𝕩 2022-03-06 13:44:27 +02:00
dzaima
2ac2309ed8 fix refcount management in •bit._cast 2022-03-05 19:28:26 +02:00
dzaima
a1638f9fc5 fix •SH 2022-03-05 18:17:15 +02:00
dzaima
0c79b44ae0 output errors to stderr 2022-03-05 02:32:28 +02:00
dzaima
5cd19eafe8 vectorized dyadic arith tail element handling 2022-02-27 18:46:35 +02:00
dzaima
de4914991a •term.OutRaw, •term.ErrRaw 2022-02-25 18:20:25 +02:00
dzaima
2049686527 •term 2022-02-16 01:41:46 +02:00
dzaima
5e865589b6 optimized f⌾(bitarr⊸/) 2022-02-06 19:06:03 +02:00
dzaima
d85fb9a592 •file.Type, •file.Name 2022-02-05 18:41:21 +02:00
dzaima
71c9c67e46 •bit._cast⁼, support inverses of 1- and 2-modifier builtins 2022-02-05 02:45:40 +02:00
Marshall Lochbaum
6b9375ed66 Check range for •bit._cast character types 2022-02-04 18:05:28 -05:00
Marshall Lochbaum
0ff92553a4 Better type (operand) processing for •bit._cast 2022-02-04 18:01:23 -05:00
Marshall Lochbaum
77dfaf75a4 Fix •bit._cast handling of boolean output with shared or slice input 2022-02-04 17:21:24 -05:00
Marshall Lochbaum
69e496f7fa Avoid •bit._cast aliasing, and all copying by using slices 2022-02-04 16:23:17 -05:00
Marshall Lochbaum
a21efec47e •bit._cast prototype 2022-02-04 14:47:13 -05:00
dzaima
2e2dcb3134 ⌜ impls 2022-01-23 17:38:55 +02:00
dzaima
d2682c595b native dyadic ˝ 2022-01-22 19:34:40 +02:00
dzaima
3f79fc3773 native monadic ˝ 2022-01-22 19:30:24 +02:00
dzaima
48e9e3d655 stdin for •SH 2022-01-18 02:32:20 +02:00
dzaima
8403f82b9f more singeli build memory leak fix 2022-01-12 19:52:16 +02:00
dzaima
5d3c801fb5 fix memory leak in singeli arith fallback & each fills 2022-01-12 16:10:41 +02:00
dzaima
c4136d4a53 fix /⁼ with 64-bit usz 2022-01-11 18:54:40 +02:00
dzaima
5cde913c78 •CurrentError 2022-01-08 21:55:19 +02:00
dzaima
588350d85b native dyadic ˘ 2022-01-06 04:39:09 +02:00
dzaima
6c4208f79d remove unused rt_merge 2022-01-06 01:22:31 +02:00
dzaima
b6f43ec4be deduplicate a bit 2022-01-01 22:51:14 +02:00
dzaima
2602a6499d rename block types 2021-12-31 17:48:19 +02:00
dzaima
08f04a8521 pass untagged pointer to under functions 2021-12-30 21:52:29 +02:00
dzaima
14d298231f all native builtins 2021-12-30 02:28:20 +02:00
dzaima
d68e278083 move nsTime to its own file 2021-12-29 19:49:16 +02:00
dzaima
81a47f1386 fix genRuntimeSrc 2021-12-28 00:07:08 +02:00
dzaima
0552ffbf37 make sorting set sorted flags 2021-12-25 18:24:22 +02:00
dzaima
04a530a532 fix ⍉f64arr 2021-12-20 18:29:20 +02:00
dzaima
44dc602425 native rank>2 ⍉ 2021-12-20 00:52:53 +02:00
dzaima
7cc88fae9c native rank 2 ⍉ 2021-12-19 16:43:37 +02:00
dzaima
88c5a16678 native monadic ⎉ 2021-12-19 15:26:21 +02:00
dzaima
d873ce0d81 fix hash for bitarrs 2021-12-19 14:55:21 +02:00
dzaima
9054cf0b54 make vec_join be mostly not inlined 2021-12-19 01:45:05 +02:00
dzaima
1770251bad singeli + & - & × 2021-12-18 22:30:00 +02:00
dzaima
0c5b98772c m_harrs → M_HARR 2021-12-17 18:04:19 +02:00
Marshall Lochbaum
7b2c79fb87 Implement •primitives 2021-12-16 17:57:05 -05:00
Marshall Lochbaum
89e8cf5a6c Implement •ReBQN 𝕩.primitive processing 2021-12-16 14:29:19 -05:00
Marshall Lochbaum
9e5f488642 Allow custom compiler/runtime for non-REPL •ReBQN too 2021-12-16 14:29:19 -05:00
Marshall Lochbaum
4d394ea441 Store compiler and runtime in •ReBQN result 2021-12-16 14:29:19 -05:00
dzaima
4af4b45ab7 fix / with negative numbers in indexes 2021-12-16 12:20:42 +02:00
dzaima
c68858ba90 various fixes for ⊑ 2021-12-16 09:14:13 +02:00
dzaima
8a1ccc7198 native ⊑; f⌾(v⊸⊏) f64arr 2021-12-15 14:03:02 +02:00
dzaima
e7662b0f6a separate array & scalar cases in arith builtins 2021-12-13 00:16:23 +02:00
dzaima
9044cd0ef0 allow high-rank 'a' in native F⌾(a⊸⊏) 2021-12-12 23:33:02 +02:00
dzaima
1b1fe2ba57 BMI2 bitarr/bitarr 2021-12-12 23:11:07 +02:00
dzaima
56d148832e support unsorted argument for /⁼ 2021-12-12 17:25:14 +02:00
dzaima
b9232a1f68 fix handling of first element in /⁼ 2021-12-06 11:01:52 +02:00
dzaima
4f66b6b88a native namespace creation 2021-11-29 16:44:20 +02:00
dzaima
ef5864afbc global name list 2021-11-29 00:21:41 +02:00
dzaima
4af5f3d4a6 store Value* as gc roots 2021-11-28 21:56:01 +02:00
dzaima
94e38e7162 fix import A →import B; import A 2021-11-26 12:23:46 +02:00
dzaima
4697b91b1e fix >2 repeated imports & error on cyclical importing 2021-11-26 00:25:11 +02:00
dzaima
d032c97b13 cache monadic •Import 2021-11-26 00:01:37 +02:00
dzaima
0389eda29b inverse modifiers 2021-11-25 00:24:16 +02:00
dzaima
b76d30d4bc add •state and •name 2021-11-24 23:03:17 +02:00
dzaima
097f39da15 make •Type throw on bi_optOut 2021-11-23 10:30:13 +02:00
dzaima
77144cd79c •math function inverses 2021-11-23 01:10:08 +02:00
dzaima
b000576572 native /⁼ 2021-11-22 00:24:59 +02:00
dzaima
ab49bb5d3d native -⁼ 2021-11-21 22:54:07 +02:00
dzaima
f155792856 native ⁼ 2021-11-21 21:27:08 +02:00
dzaima
f55e349999 inverse headers 2021-11-21 21:03:14 +02:00
dzaima
c79e260e34 m_v[1234] → m_hVec[1234] 2021-11-20 01:05:14 +02:00
dzaima
5484c109ea return value from ptr_inc 2021-11-20 00:58:18 +02:00
dzaima
3ba3558c93 fills for monadic ⋈ 2021-11-13 23:00:36 +02:00
dzaima
cd866e1e45 lazy fallback to runtime on ∾ errors 2021-11-06 17:30:01 +02:00
dzaima
049188d8a6 complete native ⋈ 2021-11-03 20:44:43 +02:00
dzaima
8cfbaf8b30 enum of primitive numbering 2021-11-03 20:28:00 +02:00
dzaima
dd3965cb3c 2021-11-03 20:16:04 +02:00
dzaima
ce36f03f11 fix •SH for OSX 2021-11-01 19:51:44 +02:00
dzaima
026b15977b make precompiled.bqn run within CBQN 2021-10-30 12:05:38 +03:00
dzaima
dba145a14b rename folder 2021-10-28 17:50:10 +03:00
dzaima
dfa04f4922 properly free 𝕩 when needed 2021-10-26 16:15:33 +03:00
dzaima
3e372620a2 array-scalar comparison function lookup table 2021-10-24 21:12:39 +03:00
dzaima
d42dd3dcf9 merged typed types 2021-10-22 17:11:54 +03:00
dzaima
4ca34e3f8e function lookup table 2021-10-22 09:53:40 +03:00
dzaima
5d76148c51 lazy singeli bit comparison fns 2021-10-22 00:58:34 +03:00
dzaima
71c454235c singeli 2021-10-22 00:17:44 +03:00
dzaima
f50b8ab503 fix fill of n↑fillarr 2021-10-20 18:29:28 +03:00
dzaima
e38e4f89ae overallocate heap 2021-10-19 18:12:27 +03:00
dzaima
1816b6cd5d changes to rand.Range 2021-10-13 23:01:37 +03:00
Josh Holland
a290e4dc0d support arbitrary shape in rand.Range 2021-10-13 20:48:45 +01:00
dzaima
49622f59ce fix •wdpath refcounting 2021-10-12 00:56:42 +03:00
dzaima
d4f183ccda •wdpath, path_resolve → path_rel 2021-10-12 00:53:54 +03:00
dzaima
d98cb0b80a dyadic •file.At 2021-10-12 00:34:44 +03:00
dzaima
6860ba5f9d make some more flags compile 2021-10-11 22:39:52 +03:00
dzaima
1072a8aa77 break less on recursive errors 2021-10-10 23:24:53 +03:00
dzaima
a62a41249e native ◶ 2021-10-10 22:54:39 +03:00
dzaima
5c2dfe8e18 verify path & arguments to be strings 2021-10-10 18:21:01 +03:00
dzaima
2c77470d99 dyadic •BQN 2021-10-10 17:48:39 +03:00
sternenseemann
3909dca0cc builtins/sfns.c: fix compilation with GCC
B is interpreted as a label by GCC unless we make the block explicit by
surrounding it with curly braces.
2021-10-04 15:05:18 +02:00
dzaima
dc535763bc •_while_ 2021-10-04 15:13:39 +03:00
dzaima
e0b987930f fix error message of ⍟ 2021-10-04 13:59:33 +03:00
dzaima
561199ab16 fast 𝕨∨´𝕩 and 𝕨∧´𝕩 2021-10-04 11:15:21 +03:00
dzaima
85d27ddc83 fast 𝕨≠`𝕩 2021-10-04 11:11:40 +03:00
dzaima
573b97f60b fast ∧´ 2021-10-04 00:23:53 +03:00
dzaima
f0c6671ec0 fast ∨´ 2021-10-04 00:10:24 +03:00
dzaima
3d23d8ef70 fast ≠` 2021-10-03 23:57:43 +03:00
dzaima
5224e03a1d deduplicate & and | impls in arithd.c 2021-10-03 23:31:37 +03:00
dzaima
1bca264db8 bitarrs 2021-10-03 23:18:30 +03:00
dzaima
01b36e927f monadic arith slow warnings 2021-09-26 13:55:44 +03:00
dzaima
d2ea19c757 more slow warns 2021-09-26 13:36:37 +03:00
dzaima
797a848ed4 warn slow for unknown scans & folds & ⍋ 2021-09-26 01:04:18 +03:00
dzaima
28f40e5368 slow notes 2021-09-25 20:39:06 +03:00
dzaima
a91e351aee fix deep squeeze 2021-09-25 19:34:48 +03:00
dzaima
a8c5dd6581 better squeezing 2021-09-25 15:26:06 +03:00
dzaima
a15f66c43b rename formatting functions 2021-09-25 13:53:53 +03:00
dzaima
c492de413f fix ⌾⥊ error check 2021-09-25 02:52:26 +03:00
dzaima
8cc6732cd4 ⌾⥊ and ⌾(const G H) 2021-09-25 02:34:58 +03:00
dzaima
20d0b3a288 time command 2021-09-23 10:46:49 +03:00
dzaima
cfc5059627 support another variant of compiler assert 2021-09-22 23:03:12 +03:00
dzaima
bce0c2853c fix error formatting when there are >1 positions given 2021-09-22 22:58:51 +03:00
dzaima
811fe16f93 fix <˘"abc" 2021-09-21 19:12:50 +03:00
dzaima
c53b4b2294 move builtins.h to root of src 2021-09-21 17:28:25 +03:00
dzaima
b38e8c9aeb normalize tag whitespace 2021-09-21 17:24:23 +03:00
dzaima
ebb010ea34 re-enable <˘
appears to work as fine as the rest of the impl, don't remember what was wrong with it ¯\_(ツ)_/¯
2021-09-21 17:20:42 +03:00
dzaima
59ac1a00fb format single position compiler errors 2021-09-21 17:08:41 +03:00
dzaima
97c1b1d31d overflow builtin cleanup 2021-09-21 16:56:20 +03:00
dzaima
d1047fcdc6 make building on android possible 2021-09-21 11:59:04 +03:00
dzaima
3bace2e33a more 𝕨⍋𝕩 fallback 2021-09-20 23:24:41 +03:00
dzaima
7cc37e2723 special-case JIT ARRO for 1 and 2 items 2021-09-20 13:17:51 +03:00
dzaima
4246aa5694 more reasonable 𝕨⍋𝕩 fallback 2021-09-18 17:22:54 +03:00
dzaima
327ea102cd convert arguments to equal sizes in comparison 2021-09-18 13:52:54 +03:00
dzaima
44c07fd6ab integer ⌊⌈ 2021-09-18 13:28:06 +03:00
dzaima
f5ace72b27 ascending/descending flag 2021-09-17 15:22:38 +03:00
dzaima
62a96f1196 squoze 2021-09-16 23:20:58 +03:00
dzaima
427d508324 more precise flags usage 2021-09-16 21:54:37 +03:00
dzaima
cd5f50e3eb incG 2021-09-16 17:09:12 +03:00
dzaima
93f362c4f2 use str8l more 2021-09-11 23:52:27 +03:00
dzaima
83011df536 typed ⌾(a⊸⊏) 2021-09-11 23:39:58 +03:00
dzaima
9b779726b5 use conversion functions in Variation 2021-09-11 23:22:08 +03:00
dzaima
6cf3ccb7d5 use new conversion functions 2021-09-11 23:17:37 +03:00
dzaima
e98660bfa8 more typed array conversion 2021-09-11 23:17:17 +03:00
dzaima
d748baab37 typed ⌽𝕩 2021-09-11 17:16:21 +03:00
dzaima
8b93156a9e ⊔ i8arr 2021-09-11 17:12:13 +03:00
dzaima
28566f5c9c i8 ∊, typed ≢ & ≍ 2021-09-11 17:06:27 +03:00
dzaima
23f2f4303b more mixed type arith 2021-09-11 00:34:10 +03:00
dzaima
ed2374fcc7 ∨` 2021-09-10 21:01:31 +03:00
dzaima
0a1cda63f5 mixed i8arr/i32arr arithd 2021-09-10 20:31:19 +03:00
dzaima
b09d3785fd more typed ⊏ 2021-09-10 20:21:06 +03:00
dzaima
fc67c92510 typed atomUnit 2021-09-10 20:03:10 +03:00
dzaima
732610fba1 typed 𝕨𝔽`𝕩 2021-09-10 19:42:08 +03:00
dzaima
b2070ea70f fix +`i8arr 2021-09-10 19:26:52 +03:00
dzaima
e55aa352f0 typed 𝔽` 2021-09-10 19:19:04 +03:00
dzaima
1022910b33 fix ⌈´ 2021-09-10 19:04:52 +03:00
dzaima
427450e5d8 typed 𝕨𝔽´𝕩 2021-09-10 18:40:48 +03:00
dzaima
85097f681a typed 𝔽´𝕩 2021-09-10 18:34:14 +03:00
dzaima
96c68b66c5 typed ⌾(n⊸⊑) 2021-09-10 17:59:26 +03:00
dzaima
c3b46a42bc typed ⥊ 2021-09-10 17:56:26 +03:00
dzaima
3d62f9c109 typed / 2021-09-10 16:54:31 +03:00
dzaima
82a32684f5 /i8arr, i32arr⊏* 2021-09-10 15:51:55 +03:00
dzaima
d8d56bbdd4 TmpFile→I8Arr 2021-09-10 15:24:07 +03:00
dzaima
a36ae1a716 pass untagged pointer to get & getU 2021-09-09 23:52:18 +03:00
dzaima
12d5a5a829 i8arr grade 2021-09-09 22:28:39 +03:00
dzaima
59dcde16c9 untag this pointer of modifier impl functions 2021-09-09 21:38:56 +03:00
dzaima
32e476b0c2 fix ⥊ 2021-09-09 18:47:16 +03:00
dzaima
337a6bbc5e more changes 2021-09-09 18:42:48 +03:00
dzaima
f8962c1eb9 use generic squeeze for arith 2021-09-09 17:30:40 +03:00