Skip to content
Snippets Groups Projects
Forked from Iris / Actris
560 commits behind the upstream repository.
Jonas Kastberg's avatar
Jonas Kastberg authored
Added LTyCopy typeclasses for products and sums
Removed mutable ref to weak ref subtyping as a consequence.
39127db0
History
Name Last commit Last update
..
channel
examples
logrel
utils