• Joined on 2026年03月30日
NathanielB pushed to main at NathanielB/forest 2026年05月22日 22:28:33 +02:00
8777f55e62 Use agda-forester
NathanielB pushed to main at NathanielB/forest 2026年05月22日 11:22:38 +02:00
f62b6b5cc4 Rearrange submodules
NathanielB pushed to pages at NathanielB/nathanielb.nl 2026年05月22日 11:21:08 +02:00
542b903ddd Rearrange submodules
NathanielB pushed to pages at NathanielB/nathanielb.nl 2026年05月14日 16:38:04 +02:00
003da23e30 Add makefile
NathanielB pushed to pages at NathanielB/nathanielb.nl 2026年05月14日 16:27:41 +02:00
09896d399c Add forest
NathanielB pushed to main at NathanielB/forest 2026年05月14日 16:26:23 +02:00
cde793e016 Initial commit
NathanielB created branch main in NathanielB/forest 2026年05月14日 16:26:23 +02:00
NathanielB created repository NathanielB/forest 2026年05月14日 16:25:03 +02:00
NathanielB created repository NathanielB/nathanielb.nl 2026年05月14日 15:53:53 +02:00
NathanielB pushed to no-no-guardedness at NathanielB/mikan 2026年04月24日 16:00:29 +02:00
140a952f73
 chore: Update golden values
NathanielB pushed to no-no-guardedness at NathanielB/mikan 2026年04月24日 15:59:06 +02:00
3a94a56126
 chore: Update golden values
NathanielB commented on issue 1lab/mikan#14 2026年04月24日 14:28:37 +02:00
Index sort check is incorrect for Propω

I assume test/Fail/Issue3447 is meant to be test/Fail/Issue3437?

NathanielB pushed to no-no-guardedness at NathanielB/mikan 2026年04月24日 13:51:03 +02:00
6fa15370d0
 chore: Update golden values
a458b1fcb2
 chore: More --guardedness deleting
13eb22b654
 feat!: Add --(no)-guardedness to deadPragmaOptions
5bd58d0e3d
 chore: Remove a ton of --(no)-guardedness flags
Compare 4 commits »
NathanielB pushed to no-no-guardedness at NathanielB/mikan 2026年04月24日 13:50:14 +02:00
4c642540c6
 chore: Update golden values
025785f429
 chore: More --guardedness deleting
85ba083b2c
 feat!: Add --(no)-guardedness to deadPragmaOptions
76042c4893
 chore!: Remove a ton of --(no)-guardedness flags
2c84864390
 feat!: Remove --no-guardedness
Compare 5 commits »
NathanielB pushed to no-no-guardedness at NathanielB/mikan 2026年04月24日 13:47:40 +02:00
c1071f7c9a
 Update golden values
NathanielB pushed to no-no-guardedness at NathanielB/mikan 2026年04月24日 12:12:05 +02:00
010e041a5f
 More --guardedness deleting
NathanielB pushed to no-no-guardedness at NathanielB/mikan 2026年04月24日 11:30:56 +02:00
b33620413b
 Add --(no)-guardedness to deadPragmaOptions
b9f030da03
 Remove a ton of --(no)-guardedness flags
Compare 2 commits »
NathanielB commented on pull request 1lab/mikan#24 2026年04月23日 23:11:24 +02:00
Remove --no-guardedness

If you add "WIP:" to the start of the PR title it will show as such

NathanielB pushed to no-no-guardedness at NathanielB/mikan 2026年04月23日 21:01:00 +02:00
a74463b5e9
 Remove --no-guardedness
NathanielB pushed to no-no-guardedness at NathanielB/mikan 2026年04月23日 20:41:37 +02:00
893d4f477c
 Remove --no-guardedness