The new version is now available at https://coq-next.now.sh.
It will become the default at some point, but please let us know if there are any problems with it.
Looks great, thanks @Shachar Itzhaky ! I get that strange stack overflow on my chromium build, but chrome and firefox seem happy so likely an issue on my end
Eval cbv in 500 works sometimes it doesn't.
I am inconsistently getting stackoverflows
@Ali Caglayan does that happen with 8.13?
@Ali Caglayan you can always use wacoq if you are running that kind of stuff
I wasn't doing anything serious just messing around 0:-)
Hi, I do not see any v0.14.0 tag on https://github.com/jscoq/jscoq/tags
What did I miss?
We didn't do a release yet I guess
No what. We did do a release although perhaps I forgot to update the github release page?
Oh indeed I forgot to complete the process... silly me
Last updated: Jan 30 2023 at 17:03 UTC