mirror of
https://github.com/idris-lang/Idris2.git
synced 2024-11-25 20:14:18 +03:00
Updated Home (markdown)
parent
182aa65b10
commit
8491aa43b2
Loading…
Reference in New Issue
Block a user