Idris2 icon indicating copy to clipboard operation
Idris2 copied to clipboard
verified publisher icon idris-lang

docs: add quickstart (see #3590)

Open wizard7377 opened this issue 4 months ago • 0 comments

Description

Add a quick start to Idris docs. Note that this is a continuation of #3590

wizard7377 avatar Aug 16 '25 16:08 wizard7377