🚀 Master Idris's Interactive Features

By Thomas Numnum

Dive into Idris with code examples and practical tips on mastering interactive editing features! 📚🚀🌟

Start using 🚀 Master Idris's Interactive Features on your ChatGPT

Welcome Message

Tags

public
reportable

Tools

python
browser
dalle

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?

Knowledge