Skip to content

Activity

Showing most recent first

Deleted branch

phadejdeleted explict-ss • 
on Nov 9, 2024

Merge pull request #114 from phadej/explict-ss

Pull request merge
phadejpushed 2 commits to master • 4cfb8b1…ecfb567 • 
on Nov 9, 2024

Add SS' :: SNat n -> SNat (S n)

Force push
phadejforce pushed to explict-ss • c3d3c2e…3119dd5 • 
on Nov 9, 2024

Add SS' :: SNat n -> SNat (S n)

phadejcreated explict-ss • c3d3c2e • 
on Nov 9, 2024

Deleted branch

phadejdeleted hashable-1.5 • 
on Aug 24, 2024

Merge pull request #113 from phadej/hashable-1.5

Pull request merge
phadejpushed 2 commits to master • 1e4a45f…4cfb8b1 • 
on Aug 24, 2024

Allow hashable-1.5

phadejcreated hashable-1.5 • 2fa9b0b • 
on Aug 24, 2024

Deleted branch

phadejdeleted noble • 
on Jun 8, 2024

Merge pull request #112 from phadej/noble

Pull request merge
phadejpushed 2 commits to master • 4367d77…1e4a45f • 
on Jun 8, 2024

Support GHC-8.6.5...9.10.1

Force push
phadejforce pushed to noble • 9bb0b56…c97a733 • 
on Jun 8, 2024

Support GHC-8.6.5...9.10.1

Force push
phadejforce pushed to noble • d0d6ad5…9bb0b56 • 
on Jun 8, 2024

changelogs

phadejpushed 1 commit to noble • 397fc52…d0d6ad5 • 
on May 23, 2024

bounds

phadejpushed 1 commit to noble • aa24cac…397fc52 • 
on May 23, 2024

vec

phadejpushed 1 commit to noble • 89e6222…aa24cac • 
on May 22, 2024

ral

phadejpushed 1 commit to noble • 6e5f6be…89e6222 • 
on May 22, 2024

ral-optics

phadejpushed 1 commit to noble • b92e4a3…6e5f6be • 
on May 22, 2024

fin ral-lens

phadejpushed 1 commit to noble • 68b7c29…b92e4a3 • 
on May 22, 2024

bin

phadejpushed 1 commit to noble • f32fafa…68b7c29 • 
on May 22, 2024

baz

phadejcreated noble • f32fafa • 
on May 22, 2024

Deleted branch

phadejdeleted ghc-9.8 • 
on Oct 24, 2023

Merge pull request #109 from phadej/ghc-9.8

Pull request merge
phadejpushed 2 commits to master • 39c46f8…4367d77 • 
on Oct 24, 2023

Support GHC-9.8

Force push
phadejforce pushed to ghc-9.8 • 307b7c7…d6e1753 • 
on Oct 24, 2023

Support GHC-9.8

phadejcreated ghc-9.8 • 307b7c7 • 
on Oct 24, 2023

Allow bifunctors-5.6 in fin

phadejpushed 1 commit to master • 1826f07…39c46f8 • 
on Apr 25, 2023

x-revision in vec-optics and vec-lens

phadejpushed 1 commit to master • 202a73c…1826f07 • 
on Mar 21, 2023

Deleted branch

phadejdeleted ghc-9.6 • 
on Mar 21, 2023

Merge pull request #106 from phadej/ghc-9.6

Pull request merge
phadejpushed 2 commits to master • 0120d4b…202a73c • 
on Mar 21, 2023

base-4.18 and some-1.0.5

Force push
phadejforce pushed to ghc-9.6 • 08e1246…09fc08a • 
on Mar 20, 2023

base-4.18 and some-1.0.5

Force push
phadejforce pushed to ghc-9.6 • ff4d917…08e1246 • 
on Mar 20, 2023

base-4.18 and some-1.0.5

Force push
phadejforce pushed to ghc-9.6 • c4198e3…ff4d917 • 
on Mar 20, 2023