Skip to content

Branches

BranchUpdatedCheck status
BehindAhead
Pull requestAction menu
master
 Dec 9, 2025
tuples-init
 Dec 9, 2025
structuralmatching
 Dec 9, 2025
recursion-schemes
 Dec 9, 2025
mvar
 Dec 9, 2025
lambda-6
 Dec 9, 2025
iterateT-step
 Dec 9, 2025
interpreter
 Dec 9, 2025
gh-pages
 Dec 9, 2025
comonads
 Dec 9, 2025
Zippers
 Dec 9, 2025
Bind/Apply
 Dec 9, 2025