Code

update download instructions#3

Code

Open

andrevidela wants to merge 1 commit intoidris-lang:mainidris-lang/idris-lang.github.io:mainfrom andrevidela:update-download-pageandrevidela/idris-lang.github.io:update-download-pageCopy head branch name to clipboard

+8-5

Commits

Commits on Apr 10, 2024

• update download instructions

  andrevidela

  committed
  a4a7ee2

  Copy full SHA for a4a7ee2