idris2

0.8.0

Pure functional programming language with dependent types

Install

brew install idris2

Architecture	Platforms	Version	Download
Apple Silicon	Golden Gate	0.8.0	File SHA-256 `d16bf31e7aa9f167f3f911909fa740a8452ddca5b031c089781c257c0a7f3790`
Apple Silicon	Tahoe	0.8.0	File SHA-256 `b24e19d4055957fccaacd37f3c43d091fd71083cb481e665bacb2e78ec2a4b1b`
Apple Silicon	Sequoia	0.8.0	File SHA-256 `c26756474e5e042aadd67188a4fe924b82e12537b7df11f872b9d744caf6d26d`
Apple Silicon	Sonoma	0.8.0	File SHA-256 `e7e06b93ba0e65360832c4e173e99e8e3d229737e2145c45f6b41981117c983c`
Intel	Sonoma	0.8.0	File SHA-256 `4da6358da95a555db8b23255ff05a400486d0766105adc71b776a605727a0dd0`
ARM64	Linux	0.8.0	File SHA-256 `bd1c838fc77a473d01d9bfae5e310548e2904a77bc6cf454f846a6505694c5c5`
x86_64	Linux	0.8.0	File SHA-256 `2a3bf7dd15efa67287b47b5ee5f7befc999d6bc18ccf0c2b045b448260db2c02`