CODEWITHSUNDEEP
standard-libraryidris
Boldizsár Németh
Boldizsár Németh

Reputation: 1847

How can I get the source code of Idris standard library?

I'm intrested because I would like to inspect the definitions of built-in functions in Prelude.

I searched for it, but only found the precompiled files in ~/.cabal/share/idris...

Upvotes: 6

Views: 729

Answers (2)

corazza
corazza

Reputation: 32354

For smaller queries there is also :printdef in the REPL

Idris> :printdef uncurry
uncurry : (a -> b -> c) -> (a, b) -> c
uncurry f (a, b) = f a b

Upvotes: 0

Boldizsár Németh
Boldizsár Németh

Reputation: 1847

According to Vitus's comment I found the sources here:

https://github.com/idris-lang/Idris-dev/tree/master/libs

Upvotes: 6

Related Questions