Jesus Galan Lopez (yy)
|
93caa03983
|
•rand
|
2021-09-04 19:16:12 +02:00 |
|
dzaima
|
2c7febca75
|
that was never a thing
|
2021-09-02 00:34:10 +03:00 |
|
dzaima
|
59241d86ff
|
clean up asserts
|
2021-09-01 23:56:19 +03:00 |
|
dzaima
|
e577dca32e
|
make !𝕩 throw 𝕩
|
2021-08-30 22:27:04 +03:00 |
|
dzaima
|
17a3ed150d
|
fixes for usz==u64
|
2021-08-29 04:29:50 +03:00 |
|
dzaima
|
1d13a1ef07
|
•ReBQN with only the repl setting
|
2021-08-28 23:55:48 +03:00 |
|
dzaima
|
6b52c2069f
|
compile-time separated DFND
|
2021-08-27 12:35:23 +03:00 |
|
dzaima
|
305f578707
|
add •Fmt, changes to readme files
|
2021-08-27 11:52:56 +03:00 |
|
dzaima
|
0c1d4843ab
|
fix undefined path handling
|
2021-08-23 18:37:01 +03:00 |
|
dzaima
|
ca86971df3
|
•path, •file.path, •file.At
|
2021-08-23 05:28:48 +03:00 |
|
dzaima
|
5e6bf0df29
|
fix ↑‿3⥊3 once more
|
2021-08-23 03:05:48 +03:00 |
|
dzaima
|
63cafe8e7b
|
unified filling for ⥊ and ↑
well except for ¯N↑
|
2021-08-23 02:30:06 +03:00 |
|
dzaima
|
68214dda53
|
fix ↑‿3⥊3
|
2021-08-22 23:41:37 +03:00 |
|
dzaima
|
0899ee31b3
|
move inc(p) inside first use
|
2021-08-22 18:35:36 +03:00 |
|
Jesus Galan Lopez (yy)
|
080a800ac7
|
dyadic FChars, FBytes and FLines
|
2021-08-22 17:14:38 +02:00 |
|
dzaima
|
8f8828c671
|
fix no fill case in ⥊ and namespace destructuring in header
|
2021-08-22 04:58:01 +03:00 |
|
dzaima
|
b61380aa73
|
better number formatting
|
2021-08-21 05:52:17 +03:00 |
|
dzaima
|
e8fc4c4f69
|
left arg for REPL
|
2021-08-21 04:14:50 +03:00 |
|
dzaima
|
5dbd1688bc
|
•MakeREPL
|
2021-08-21 03:52:49 +03:00 |
|
dzaima
|
521abe669d
|
hopefully fix SETH refcounts
|
2021-08-16 00:48:15 +03:00 |
|
dzaima
|
0af6895f4b
|
unfinished SETH
|
2021-08-15 03:54:13 +03:00 |
|
dzaima
|
de86ce2aaa
|
src/README.md, and cleaning up things while at it
|
2021-08-14 21:27:06 +03:00 |
|
dzaima
|
10d0cdc2fe
|
•SH
|
2021-08-13 23:22:37 +03:00 |
|
dzaima
|
ef92ddc69e
|
•FromUTF8
|
2021-08-11 00:22:59 +03:00 |
|
Marshall Lochbaum
|
9a0cfa340a
|
Don't allow First of empty or reshaping empty to non-empty
|
2021-08-07 20:25:07 -04:00 |
|
dzaima
|
2ab2f35a34
|
move fmtF to •Glyph
|
2021-08-04 22:06:33 +03:00 |
|
dzaima
|
65fe3d9aa2
|
basic namespace formatting
|
2021-08-04 22:02:21 +03:00 |
|
dzaima
|
2710786bf0
|
format blocks
|
2021-08-04 21:47:41 +03:00 |
|
dzaima
|
849eeff465
|
initialize ia on allocation always
|
2021-08-03 02:57:46 +03:00 |
|
dzaima
|
86b3882c5e
|
improve ⊸⟜
|
2021-08-01 03:53:48 +03:00 |
|
dzaima
|
74a3a87166
|
handle arr⊸F and (arr G H) faster
|
2021-07-31 23:29:21 +03:00 |
|
dzaima
|
749b098f1e
|
use decR less
|
2021-07-31 22:40:33 +03:00 |
|
dzaima
|
1f5cfbe766
|
more proper PERF_TEST, )ex
|
2021-07-31 20:02:56 +03:00 |
|
dzaima
|
b18157d86b
|
native ⥊
it's horrible but it appears to work
|
2021-07-27 19:48:22 +03:00 |
|
dzaima
|
25c89c06b1
|
•GetLine
|
2021-07-25 20:02:48 +03:00 |
|
dzaima
|
4b8210d1bd
|
apparently i broke 𝕨/𝕩..
|
2021-07-22 03:23:49 +03:00 |
|
dzaima
|
5dd7288144
|
strict prototypes
|
2021-07-20 22:21:59 +03:00 |
|
dzaima
|
0bcf3b592f
|
more comparison type fixing
and some more / opt to make it not slower
|
2021-07-20 21:56:35 +03:00 |
|
dzaima
|
99896fbace
|
improving loop counter variable types
|
2021-07-20 21:32:41 +03:00 |
|
dzaima
|
78cd23907e
|
make err fails more clear
|
2021-07-19 23:09:10 +03:00 |
|
dzaima
|
ca264d1332
|
move init out of mut_to
|
2021-07-19 19:23:36 +03:00 |
|
dzaima
|
708e06c0ea
|
simplify mut usage where type is guaranteed correct
|
2021-07-19 04:22:18 +03:00 |
|
dzaima
|
61e58c7a02
|
basic monadic arith special-case
|
2021-07-18 18:12:11 +03:00 |
|
dzaima
|
d8e3f78e6c
|
better dyadic arith messages
|
2021-07-18 17:24:21 +03:00 |
|
dzaima
|
bb463c8f87
|
fix rtverify failing on usz==u64
|
2021-07-12 01:06:39 +03:00 |
|
Marshall Lochbaum
|
dde05f5f02
|
Just use bit sets, not hashing, for complementary selection
|
2021-07-08 20:56:28 -04:00 |
|
Marshall Lochbaum
|
3546419816
|
Use the correct complement algorithm for the hash set
|
2021-07-08 17:54:34 -04:00 |
|
Marshall Lochbaum
|
619b9827de
|
Faster random deal, and sorted subset
|
2021-07-08 17:33:50 -04:00 |
|
dzaima
|
cce52dd40e
|
random deal & subset
|
2021-07-07 21:31:48 +03:00 |
|
dzaima
|
08723a3c80
|
use TI macros everywhere
|
2021-07-06 19:22:45 +03:00 |
|