FStarLang / FStarLang/fstarlang.github.io
Long tap does not work in tutorial
Open
- Dominant language
- HTML
- Stars
- 8
- Forks
- 9
- PR merge metrics
- No merged PRs in 30d
Description
When attempt to paste code from mobile phone into sandbox, default menu does not appears. Have to manually type code on the phone
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.