Idris 2 cannot find Control.Linear.LIO module

user_16705408 0
Viewed 100

I'm trying to write some Idris 2 code reimplementing the examples shown in the Idris2 paper. When trying to import the L type by setting import Control.Linear.LIO and loading the file, I get the following error in the Repl:

Error: Module Control.Linear.LIO not found

Any suggestions?

idris
1 Answers

You need to explicitly include contrib as a package. Run Idris like

$ idris2 -p contrib filename.idr
user_59869070
Related