Heinrich Apfelmus

created a branch HeinrichApfelmus/flake-attempt in HeinrichApfelmus/dqsd-workbench

Jun 30, 2025, 2:03 PM

Description of `ForkEvent` isn't defined

Jun 30, 2025, 1:54 PM

pushed to master in HeinrichApfelmus/agda2hs

Jun 30, 2025, 10:10 AM

opened a pull request in HeinrichApfelmus/bags

Jun 24, 2025, 2:04 PM

created a branch HeinrichApfelmus/set in HeinrichApfelmus/bags

Jun 24, 2025, 1:53 PM

deleted branch HeinrichApfelmus/set at HeinrichApfelmus/bags

Jun 24, 2025, 1:00 PM

pushed to main in HeinrichApfelmus/bags

Jun 24, 2025, 1:00 PM

merged a pull request in HeinrichApfelmus/bags

Jun 24, 2025, 1:00 PM

opened a pull request in HeinrichApfelmus/bags

Jun 24, 2025, 12:19 PM

created a branch HeinrichApfelmus/set in HeinrichApfelmus/bags

Jun 24, 2025, 12:18 PM

pushed to main in HeinrichApfelmus/bags

Jun 24, 2025, 11:55 AM

deleted branch HeinrichApfelmus/map at HeinrichApfelmus/bags

Jun 24, 2025, 11:55 AM

merged a pull request in HeinrichApfelmus/bags

Jun 24, 2025, 11:55 AM

pushed to HeinrichApfelmus/map in HeinrichApfelmus/bags

Jun 24, 2025, 11:51 AM

opened a pull request in HeinrichApfelmus/bags

Jun 24, 2025, 11:45 AM

created a branch HeinrichApfelmus/map in HeinrichApfelmus/bags

Jun 24, 2025, 11:44 AM

deleted branch HeinrichApfelmus/proofs-counts at HeinrichApfelmus/bags

Jun 23, 2025, 3:02 PM

pushed to main in HeinrichApfelmus/bags

Jun 23, 2025, 3:02 PM

merged a pull request in HeinrichApfelmus/bags

Jun 23, 2025, 3:02 PM

opened a pull request in HeinrichApfelmus/bags

Jun 23, 2025, 2:29 PM

pushed to HeinrichApfelmus/proofs-counts in HeinrichApfelmus/bags

Jun 23, 2025, 2:26 PM

created a branch HeinrichApfelmus/proofs-counts in HeinrichApfelmus/bags

Jun 23, 2025, 2:24 PM

commented on issue IntersectMBO/formal-ledger-specifications#802

Jun 23, 2025, 12:03 PM

pushed to HeinrichApfelmus/complete-stakeDistr in IntersectMBO/formal-ledger-specifications

Jun 23, 2025, 11:59 AM

pushed to HeinrichApfelmus/complete-stakeDistr in IntersectMBO/formal-ledger-specifications

Jun 23, 2025, 11:29 AM

opened a pull request in IntersectMBO/formal-ledger-specifications

Jun 20, 2025, 1:04 PM

pushed to HeinrichApfelmus/complete-stakeDistr in IntersectMBO/formal-ledger-specifications

Jun 20, 2025, 12:59 PM

created a branch HeinrichApfelmus/complete-stakeDistr in IntersectMBO/formal-ledger-specifications

Jun 20, 2025, 12:58 PM

pushed to master in agda/agda2hs

Jun 20, 2025, 9:24 AM

merged a pull request in agda/agda2hs

Jun 20, 2025, 9:24 AM

pushed to HeinrichApfelmus/monad-laws in HeinrichApfelmus/agda2hs

Jun 19, 2025, 12:17 PM

commented on pull request agda/agda2hs#412

Jun 19, 2025, 12:16 PM

reviewed a pull request in agda/agda2hs

Jun 19, 2025, 12:16 PM

pushed to HeinrichApfelmus/monad-laws in HeinrichApfelmus/agda2hs

Jun 19, 2025, 12:12 PM

commented on issue agda/agda2hs#412

Jun 19, 2025, 11:56 AM

pushed to master in HeinrichApfelmus/agda2hs

Jun 19, 2025, 11:49 AM

deleted branch HeinrichApfelmus/counts at HeinrichApfelmus/bags

Jun 19, 2025, 11:18 AM

pushed to main in HeinrichApfelmus/bags

Jun 19, 2025, 11:18 AM

merged a pull request in HeinrichApfelmus/bags

Jun 19, 2025, 11:18 AM

pushed to HeinrichApfelmus/counts in HeinrichApfelmus/bags

Jun 19, 2025, 11:13 AM

pushed to HeinrichApfelmus/counts in HeinrichApfelmus/bags

Jun 19, 2025, 9:45 AM

deleted branch HeinrichApfelmus/replicate at HeinrichApfelmus/bags

Jun 19, 2025, 9:33 AM

pushed to main in HeinrichApfelmus/bags

Jun 19, 2025, 9:33 AM

merged a pull request in HeinrichApfelmus/bags

Jun 19, 2025, 9:33 AM

opened a pull request in HeinrichApfelmus/bags

Jun 19, 2025, 9:28 AM

created a branch HeinrichApfelmus/replicate in HeinrichApfelmus/bags

Jun 19, 2025, 9:28 AM

pushed to HeinrichApfelmus/counts in HeinrichApfelmus/bags

Jun 19, 2025, 9:11 AM

merged a pull request in HeinrichApfelmus/bags

Jun 17, 2025, 1:30 PM

deleted branch HeinrichApfelmus/remove-old at HeinrichApfelmus/bags

Jun 17, 2025, 1:30 PM

pushed to main in HeinrichApfelmus/bags

Jun 17, 2025, 1:30 PM