Jarvis Carroll spivee
1 Followers · 0 Following
  • Joined on 2025-01-21
Repositories
2
 Projects Packages Public Activity Starred Repositories
spivee commented on issue QPQ-AG/sophia#989 2026-01-29 16:42:00 +09:00
Escape codes \x80 through \xFF get encoded as two bytes

It seems the design is that U+0100 is written as "\x{0100}", with curly braces included explicitly in the string literal. That doesn't work in this compiler, though, so maybe there should be a…

spivee pushed to parser at QPQ-AG/hakuzaru 2026-01-29 16:02:00 +09:00
49cd8b6687 Parse strings
966b4b2748 Calculate scalar values during lexing
fe182a5233 Handle underscores in integers/bytes
f1696e2b9e Bytes lexing
Compare 4 commits »
spivee opened issue QPQ-AG/sophia#989 2026-01-29 15:44:50 +09:00
Escape codes \x80 through \xFF get encoded as two bytes
spivee opened issue QPQ-AG/sophia#988 2026-01-29 15:18:29 +09:00
Compiler throws exceptions during escape code handling
spivee pushed to parser at QPQ-AG/hakuzaru 2026-01-27 15:48:45 +09:00
2bf384ca82 Infer correct values for tests automatically
spivee pushed to parser at QPQ-AG/hakuzaru 2026-01-23 15:16:37 +09:00
4f2a3c6c6f Variant parsing
7df04a81be Tuple parsing
6f02d4c4e6 Record parsing
Compare 3 commits »
spivee pushed to parser at QPQ-AG/hakuzaru 2026-01-16 14:44:31 +09:00
56e63051bc Map parsing
spivee pushed to parser at QPQ-AG/hakuzaru 2026-01-15 18:36:44 +09:00
3f1c9bd626 List parsing
97e32574c4 set up parsing structure
Compare 2 commits »
spivee created branch parser in QPQ-AG/hakuzaru 2026-01-15 18:36:44 +09:00
spivee pushed to hz_aaci at QPQ-AG/hakuzaru 2026-01-15 10:49:03 +09:00
6f5525afcf Rename get_function_signature
spivee created pull request QPQ-AG/hakuzaru#17 2026-01-13 10:40:11 +09:00
Move AACI and coerce logic to hz_aaci.erl
spivee created branch hz_aaci in QPQ-AG/hakuzaru 2026-01-13 10:28:26 +09:00
spivee pushed to hz_aaci at QPQ-AG/hakuzaru 2026-01-13 10:28:26 +09:00
4f1958b210 use lists:unzip/1
3da9bd570b split coerce/3 into two functions
d2163c1ff8 split AACI out of hz.erl
Compare 3 commits »
spivee pushed to master at spivee/number-theory 2025-11-26 20:23:04 +09:00
3bf3e02ceb Prove binomial expansion
f79f109801 Rejig to use 'both_sides_equal' tactic
Compare 2 commits »
spivee pushed to master at spivee/number-theory 2025-11-22 00:04:28 +09:00
48136669a9 Refactor even/odd stuff
spivee pushed to master at spivee/number-theory 2025-11-21 22:36:55 +09:00
4d8d3e5f81 Pascal's Triangle Theorem
spivee created branch master in spivee/number-theory 2025-11-21 22:36:55 +09:00
spivee created repository spivee/number-theory 2025-11-20 13:03:51 +09:00
spivee opened issue QPQ-AG/hakuzaru#10 2025-11-18 11:09:19 +09:00
Hakuzaru is unnecessarily strict about ak_ vs ct_ prefixes
spivee pushed to master at spivee/msp 2025-10-31 20:36:44 +09:00
39a75ca435 Receive data on the other end.
23276662bb simplify opcodes
Compare 2 commits »