I changed a bit of src/hvm.c to allow the user to dynamically change the number of threads when running. This is especially useful right now on computers that have a lot of threads, since you might not want to use all of them. Related to https://github.com/HigherOrderCO/HVM/issues/324
I changed a bit of src/hvm.c to allow the user to dynamically change the number of threads when running. This is especially useful right now on computers that have a lot of threads, since you might not want to use all of them. Related to https://github.com/HigherOrderCO/HVM/issues/324