Added link to GitHub
#2
by KennethEnevoldsen - opened
Should be also add a note stating that we don't recommend this model for use (or is that stated in the alpha name?)
We could add a note, although it should be obvious from the announcement. Perhaps many people don't read that, though, so it could be worthwhile.
Added a note. If it looks fine feel free to merge it n
synquid changed pull request status to merged