Skip to content
GitLab
Explore
Sign in
Orpheas van Rooij
Haffel
Repository
Branches
Overview
Active
Stale
All
Active branches
new-handler
b9c123d8
·
fixes case studies
·
May 11, 2024
multi-effects
2c1db20b
·
changes use of variable l for effect operations to op; changes notation
·
May 03, 2024
main
default
protected
656b1544
·
cleanup and add LICENSE
·
Mar 20, 2024
Stale branches
two-ctx-judgement
a0c4e642
·
adds verification of generator to iterator (and vice versa) transformation
·
Sep 04, 2023
ctx_fun_type
f6559ffa
·
updates to work with coq-hazel 1.1
·
Oct 26, 2023
multishot-dual
8e3b4ea7
·
minor reformatting
·
Nov 21, 2023
multishot-excl-2
96409d3c
·
some minor refactoring
·
Nov 28, 2023
oneshot
04263095
·
minor
·
Nov 28, 2023