Update source for modern Idris#5

Open

andrevidela wants to merge 3 commits intoedwinb:masterfrom

andrevidela:modern-idris

Commits on Jun 24, 2024

update code TinyIdris-v2 to modern idris 0.7
andrevidela
committed

Commits on Nov 4, 2024