Skip to content
GitLab
Explore
Sign in
Max Ole Elliger
Programming Computable Functions
Repository
Branches
Overview
Active
Stale
All
Stale branches
4-introduce-coproducts-and-maybe
b42e30a6
·
Merge branch 'main' into 4-introduce-coproducts-and-maybe
·
Aug 10, 2023
!1
include/comoproj-v1.2.0
protected
b707cd64
·
Merge tag 'comoproj-v1.2.0' into include/comoproj-v1.2.0
·
Sep 15, 2023
!5
6-add-missing-arithmetic-and-logical-operations
a5178248
·
added f_lt
·
Sep 15, 2023
!6
2-define-contextual-equivalence
977a48aa
·
stated cxtequiv, started work on proof on cxtequiv_ground
·
Sep 23, 2023
!2
main
default
protected
a4f02cec
·
Checked dependencies
·
Oct 11, 2023