You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
$ npx spago build -p untyped-lambda-calculus
Reading Spago workspace configuration...
❌ Selected package untyped-lambda-calculus was not found in the local packages.
Available packages:
untyped-lamda-calculus
The issue was that I was missing the b in lambda in my spago.yaml file's package.name field.
-untyped-lamda-calculus+untyped-lambda-calculus
It would be helpful if we diff'd the names to help one realize that they misspelled something.
I ran the following:
The issue was that I was missing the
b
inlambda
in myspago.yaml
file'spackage.name
field.It would be helpful if we diff'd the names to help one realize that they misspelled something.
Relates somewhat to #985.
The text was updated successfully, but these errors were encountered: