I guess it could be some language with a totality checker where the total keyword goes between the type and the name? Idris has a total keyword but it comes before
- Posts
- 6
- Comments
- 625
- Joined
- 4 yr. ago
- Posts
- 6
- Comments
- 625
- Joined
- 4 yr. ago
- JumpRemoved Deleted
This guy literally generated code snippets IMAGE with AI
- JumpDeleted
Permanently Deleted
OKLAB seems better at this