Jarvis Carroll spivee
1 Followers · 0 Following
  • Joined on 2025-01-21
Repositories
2
 Projects Packages Public Activity Starred Repositories
spivee pushed to master at QPQ-AG/chroot_sandboxes 2025-05-23 23:16:56 +09:00
3898aa52be remove mounts automatically
28de550295 User setup and erlang installation
Compare 2 commits »
spivee pushed to master at QPQ-AG/chroot_sandboxes 2025-05-23 14:57:39 +09:00
4f6ee7cc88 Fix get_debootstrap script
spivee created branch master in QPQ-AG/chroot_sandboxes 2025-05-23 12:51:04 +09:00
spivee pushed to master at QPQ-AG/chroot_sandboxes 2025-05-23 12:51:04 +09:00
c29250e550 Script to create a fresh Debian environment
spivee created repository QPQ-AG/chroot_sandboxes 2025-05-23 12:50:35 +09:00
spivee deleted branch spivee/convert-arg-fix from QPQ-AG/hakuzaru 2025-03-01 13:11:14 +09:00
spivee merged pull request QPQ-AG/hakuzaru#2 2025-03-01 13:11:13 +09:00
Fix function spec AACI preparation
spivee pushed to master at QPQ-AG/hakuzaru 2025-03-01 13:11:13 +09:00
23b6256aae verup
4efc38d319 Make dryrun operate on the top block.
ede98b9e96 Fix function spec AACI preparation
Compare 3 commits »
spivee deleted branch dryrun-fix from QPQ-AG/hakuzaru 2025-03-01 13:10:46 +09:00
spivee pushed to spivee/convert-arg-fix at QPQ-AG/hakuzaru 2025-03-01 13:10:46 +09:00
23b6256aae verup
4efc38d319 Make dryrun operate on the top block.
Compare 2 commits »
spivee merged pull request QPQ-AG/hakuzaru#3 2025-03-01 13:10:45 +09:00
Make dryrun operate on the top block.
spivee pushed to spivee/convert-arg-fix at QPQ-AG/hakuzaru 2025-02-28 22:03:00 +09:00
ede98b9e96 Fix function spec AACI preparation
spivee created pull request QPQ-AG/hakuzaru#2 2025-02-28 22:01:29 +09:00
Fix function spec AACI preparation
spivee pushed to spivee/convert-arg-fix at QPQ-AG/hakuzaru 2025-02-28 22:01:11 +09:00
4cdf59092d Fix function spec AACI preparation
spivee pushed to spivee/convert-arg-fix at QPQ-AG/hakuzaru 2025-02-28 21:59:58 +09:00
spivee created branch spivee/convert-arg-fix in QPQ-AG/hakuzaru 2025-02-28 21:59:58 +09:00
spivee deleted branch spivee/coerce-fixes from QPQ-AG/hakuzaru 2025-02-27 21:17:12 +09:00
spivee pushed to master at QPQ-AG/hakuzaru 2025-02-27 21:17:12 +09:00
36a9b17b78 Clean up try_coerce slightly
4e71d3215b Factor handling of different ACI typedef cases
c27005c424 Rename 'flatten' and so on to 'annotate'
ad7be7c8db Break up prepare_aaci logic
7eb29827a6 Fix type substitution into variants and records
Compare 8 commits »
spivee merged pull request QPQ-AG/hakuzaru#1 2025-02-27 21:17:11 +09:00
Fix coerce/3 when applied to namespace types, and type parameters inside record types.
spivee pushed to spivee/coerce-fixes at QPQ-AG/hakuzaru 2025-02-27 21:16:49 +09:00
36a9b17b78 Clean up try_coerce slightly