Branches

Search

Branch	Updated	Check status	BehindAhead	Pull request	Action menu
master Copy branch name to clipboard	Nov 9, 2024				Delete branchBranch menu
tuples-init Copy branch name to clipboard	Nov 9, 2024				Delete branchBranch menu
structuralmatching Copy branch name to clipboard	Nov 9, 2024				Delete branchBranch menu
recursion-schemes Copy branch name to clipboard	Nov 9, 2024				Delete branchBranch menu
mvar Copy branch name to clipboard	Nov 9, 2024				Delete branchBranch menu
lambda-6 Copy branch name to clipboard	Nov 9, 2024				Delete branchBranch menu
iterateT-step Copy branch name to clipboard	Nov 9, 2024				Delete branchBranch menu
interpreter Copy branch name to clipboard	Nov 9, 2024				Delete branchBranch menu
gh-pages Copy branch name to clipboard	Nov 9, 2024				Delete branchBranch menu
comonads Copy branch name to clipboard	Nov 9, 2024				Delete branchBranch menu
Zippers Copy branch name to clipboard	Nov 9, 2024				Delete branchBranch menu
Bind/Apply Copy branch name to clipboard	Nov 9, 2024				Delete branchBranch menu