Skip to content
Nix CI for bundle default

example of transfer of nat_rec to an abtract type + bugfix #121

Sign in to view logs

example of transfer of nat_rec to an abtract type + bugfix

example of transfer of nat_rec to an abtract type + bugfix #121

The logs for this run have expired and are no longer available.