What are /r/Idris' favorite Products & Services?

From 3.5 billion Reddit comments

The file is part of the release but it's not part of base it's part of contrib. So you need to invoke idris with the -p contrib option.

Using nix as the basis of an Idris package manager has been discussed:

https://groups.google.com/forum/#!topic/idris-lang/EZ4yH6C0xjY

https://groups.google.com/forum/#!topic/idris-lang/YTXUNyVUwG4

The idea has merit, but also some identified technical hurdles that would need to be overcome first, such as windows support.

As far as I know. It's not that it can't be done -- just that there hasn't been enough sustained effort to keep it working. There are bits and pieces of cygwin support in the nixpkgs repo. Here are some links.

https://ternaris.com/lab/nix-on-windows.html

https://nixos.org/wiki/Nix_on_Windows

> Idris is supposed to be easier for writing programs than proofs, whereas for Agda it's the other way around

Agda is first and foremost a programming language so I wouldn't say it's supposed to be easier to write proofs rather than programs. Coq does present itself as a formal proof management system on the other hand.