• Joined on 2026年04月21日
dolio pushed to trunk at dolio/temple-tools 2026年05月14日 17:36:47 +02:00
90b42ce562 p-m: Update readme
8faad14e9a Add support for turning json back into player files
19de05ce21 Fix parseSkillName
54bec46429 c:d: Add a mode for combining dat files
dc77a398b4 Assorted performance improvements
Compare 10 commits »
dolio created branch trunk in dolio/temple-tools 2026年05月14日 17:36:47 +02:00
dolio created repository dolio/temple-tools 2026年05月14日 17:34:33 +02:00
dolio pushed to main at dolio/mikan 2026年04月29日 01:54:56 +02:00
1b7b3a0d2d fix: pull mikan-bisect back out into cabal file
340678e408 fix: include src/mikan-bisect in nix package
60b6b7b3fc doc: update HACKING to reflect mikan-bisect changes
115c867c2b fix: handle switch from agda -> mikan in mikan-bisect
ebdf9a80ca wip: clean up Bisect.hs
Compare 13 commits »
dolio pushed to main at dolio/mikan 2026年04月28日 21:08:11 +02:00
62335539a8
 chore: add Cachix substituter to flake config and update HACKING
2c02e2ebed
 ci: also set up Cachix in test.yml
29797e4fcd
 ci: fix pushing to Cachix
4dce03b162 chore: update woodpecker instructions
fa5fbc4178 chore: update HACKING.md
Compare 34 commits »
dolio commented on pull request 1lab/mikan#35 2026年04月26日 20:57:04 +02:00
Eliminate musical coinduction

Rebased on main. Think this is about everything.

dolio pushed to cut/musical-coinduction at dolio/mikan 2026年04月26日 20:54:32 +02:00
2e9848e70e Remove assorted remaining references to old coinduction
be73902642 Remove uses of/references to musical coinduction from the user manual
eaddc094d4 Fix/eliminate most coinduction tests
918c6d758e Eliminate builtin coinduction module
2f306ecb76 Eliminate musical coinduction infrastructure
Compare 22 commits »
dolio pushed to cut/musical-coinduction at dolio/mikan 2026年04月26日 20:28:35 +02:00
383cbd6baa Remove assorted remaining references to old coinduction
dolio commented on pull request 1lab/mikan#35 2026年04月26日 18:15:08 +02:00
Eliminate musical coinduction

The last commit fixes the remaining tests that were failing on my machine.

dolio pushed to cut/musical-coinduction at dolio/mikan 2026年04月26日 18:13:50 +02:00
1ef6a5af1d Remove uses of/references to musical coinduction from the user manual
dolio commented on pull request 1lab/mikan#35 2026年04月26日 09:15:34 +02:00
Eliminate musical coinduction

Most of the tests that use coinduction have now either been rewritten to use records or just deleted if they seemed to be testing something very specific about musical coinduction. I still have...

dolio pushed to cut/musical-coinduction at dolio/mikan 2026年04月26日 09:12:19 +02:00
cf60fff245 Fix/eliminate most coinduction tests
dolio created pull request 1lab/mikan#35 2026年04月25日 19:10:21 +02:00
WIP: Eliminate musical coinduction
dolio pushed to cut/musical-coinduction at dolio/mikan 2026年04月25日 19:00:59 +02:00
694e688db7 Eliminate builtin coinduction module
64ee672981 Eliminate musical coinduction infrastructure
671ab2c58b feat!: remove compile-dir option
3ed2e2bd12 chore: fix LaTeX, HTML and interaction tests where possible
5a44891a92 chore: remove compiler documentation
Compare 20 commits »
dolio pushed to cut/musical-coinduction at dolio/mikan 2026年04月25日 18:20:35 +02:00
f28460d92e Eliminate builtin coinduction module
016cf72386 Eliminate musical coinduction infrastructure
1e21553349 chore: remove github CI from makefile
17c1a2c299 chore: remove release.sh
accf4ab719 docs: remove outdated information about github from HACKING
Compare 11 commits »
dolio pushed to main at dolio/mikan 2026年04月25日 18:16:22 +02:00
671ab2c58b feat!: remove compile-dir option
3ed2e2bd12 chore: fix LaTeX, HTML and interaction tests where possible
5a44891a92 chore: remove compiler documentation
bceeff47a9 fix: replace the mikan executable name after cwd cleanup in tests
0d54df607b chore: remove compilation tests
Compare 9 commits »
dolio pushed to main at dolio/mikan 2026年04月25日 02:22:56 +02:00
47eecb20e9 chore: remove github CI from makefile
b7d73f3cf6 chore: remove release.sh
856afaa4ef docs: remove outdated information about github from HACKING
c3ef7a2122 chore: remove release-tools
b48bce30a3 feat: Port haskell script interaction tests (#25)
Compare 9 commits »
dolio pushed to cut/musical-coinduction at dolio/mikan 2026年04月24日 06:36:08 +02:00
92bac8f317 Eliminate musical coinduction infrastructure
dolio pushed to cut/musical-coinduction at dolio/mikan 2026年04月24日 04:24:35 +02:00
1aab5581e5 Eliminate musical coinduction infrastructure
dolio created branch cut/musical-coinduction in dolio/mikan 2026年04月24日 04:24:35 +02:00