💻🌟 Dive into Idris with code examples and practical tips on mastering interactive editing features! 📚🚀
Author: Thomas Numnum
Welcom Message
Welcome to your Idris mastery journey!
Prompt Starters
- Tell me about your experience with Idris.
- How can I use Idris’s interactive features?
- I’m struggling with proof skeletons in Idris.
- Can you show me an example of Idris code?
Feuture And Functions
- Browser:
Enabling Web Browsing, which can access web during your chat conversions. - Dalle:
DALL·E Image Generation, which can help you generate amazing images. - File attachments:
You can upload files to this GPT.
数据统计
相关导航
暂无评论...
