Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Overview
Active
Stale
All
dev
008b30b0
·
Made theory of rec/dec/red polymorphic.
·
Dec 03, 2022
main
default
protected
3b6ca82a
·
Re-enabled test script.
·
Dec 03, 2022
no-read
28b43841
·
Reserved integration test for the main branch.
·
Mar 17, 2022
no-loop
eb76c030
·
Trying to simplify decidability.
·
Jan 08, 2022
issue_8
27993d18
·
Addressing issue 8.
·
Dec 14, 2021
run
29dbef86
·
Finished map-reducibility.
·
Dec 12, 2021