cabal install not working

[beh333]

I am new to Haskell and hoping to try Mikrokosmos, but I can't get it to install. A few months ago I struggled to install Haskell, and so I started over with a "ghcup nuke" and fresh install of Haskell and cabal per https://www.haskell.org/ghcup/install/, which seemed to go fine on my Ubuntu 20 machine. But when I do "cabal install mikrokosmos" it fails, per below. Any tips? Thank you!

(env) bruce@bruce-ThinkPad-X1-Yoga-1st:~/python/myproject$ cabal install mikrokosmos
Resolving dependencies...
Build profile: -w ghc-8.10.7 -O1
In order, the following will be built (use -v for more details):

• ansi-terminal-0.11.1 (lib) (requires download & build)
• clock-0.8.3 (lib) (requires download & build)
• hashable-1.4.0.2 (lib) (requires download & build)
• unliftio-core-0.2.0.1 (lib) (requires download & build)
• ansi-wl-pprint-0.6.9 (lib) (requires build)
• async-2.2.4 (lib) (requires build)
• optparse-applicative-0.17.0.0 (lib) (requires download & build)
• typed-process-0.2.8.0 (lib) (requires download & build)
• tasty-1.4.2.1 (lib) (requires download & build)
• tasty-quickcheck-0.10.2 (lib) (requires download & build)
• tasty-hunit-0.10.0.3 (lib) (requires build)
• tasty-golden-2.3.5 (lib) (requires download & build)
• mikrokosmos-0.8.0 (exe:mikrokosmos) (requires build)
  Downloading clock-0.8.3
  Downloaded clock-0.8.3
  Downloading unliftio-core-0.2.0.1
  Starting clock-0.8.3 (lib)
  Downloaded unliftio-core-0.2.0.1
  Downloading hashable-1.4.0.2
  Starting unliftio-core-0.2.0.1 (lib)
  Downloaded hashable-1.4.0.2
  Downloading typed-process-0.2.8.0
  Starting hashable-1.4.0.2 (lib)
  Downloaded typed-process-0.2.8.0
  Downloading ansi-terminal-0.11.1
  Building clock-0.8.3 (lib)
  Building unliftio-core-0.2.0.1 (lib)
  Building hashable-1.4.0.2 (lib)
  Downloaded ansi-terminal-0.11.1
  Downloading optparse-applicative-0.17.0.0
  Starting ansi-terminal-0.11.1 (lib)
  Downloaded optparse-applicative-0.17.0.0
  Downloading tasty-1.4.2.1
  Downloaded tasty-1.4.2.1
  Downloading tasty-golden-2.3.5
  Installing unliftio-core-0.2.0.1 (lib)
  Building ansi-terminal-0.11.1 (lib)
  Completed unliftio-core-0.2.0.1 (lib)
  Downloaded tasty-golden-2.3.5
  Downloading tasty-quickcheck-0.10.2
  Downloaded tasty-quickcheck-0.10.2
  Installing clock-0.8.3 (lib)
  Completed clock-0.8.3 (lib)
  Installing hashable-1.4.0.2 (lib)
  Completed hashable-1.4.0.2 (lib)
  Starting async-2.2.4 (lib)
  Building async-2.2.4 (lib)
  Installing ansi-terminal-0.11.1 (lib)
  Completed ansi-terminal-0.11.1 (lib)
  Starting ansi-wl-pprint-0.6.9 (lib)
  Building ansi-wl-pprint-0.6.9 (lib)
  Installing async-2.2.4 (lib)
  Completed async-2.2.4 (lib)
  Starting typed-process-0.2.8.0 (lib)
  Installing ansi-wl-pprint-0.6.9 (lib)
  Completed ansi-wl-pprint-0.6.9 (lib)
  Starting optparse-applicative-0.17.0.0 (lib)
  Building typed-process-0.2.8.0 (lib)
  Building optparse-applicative-0.17.0.0 (lib)
  Installing typed-process-0.2.8.0 (lib)
  Completed typed-process-0.2.8.0 (lib)
  Installing optparse-applicative-0.17.0.0 (lib)
  Completed optparse-applicative-0.17.0.0 (lib)
  Starting tasty-1.4.2.1 (lib)
  Building tasty-1.4.2.1 (lib)
  Installing tasty-1.4.2.1 (lib)
  Completed tasty-1.4.2.1 (lib)
  Starting tasty-quickcheck-0.10.2 (lib)
  Starting tasty-hunit-0.10.0.3 (lib)
  Starting tasty-golden-2.3.5 (lib)
  Building tasty-golden-2.3.5 (lib)
  Building tasty-hunit-0.10.0.3 (lib)
  Building tasty-quickcheck-0.10.2 (lib)
  Installing tasty-hunit-0.10.0.3 (lib)
  Completed tasty-hunit-0.10.0.3 (lib)
  Installing tasty-quickcheck-0.10.2 (lib)
  Installing tasty-golden-2.3.5 (lib)
  Completed tasty-quickcheck-0.10.2 (lib)
  Completed tasty-golden-2.3.5 (lib)
  Starting mikrokosmos-0.8.0 (exe:mikrokosmos)
  Building mikrokosmos-0.8.0 (exe:mikrokosmos)

Failed to build exe:mikrokosmos from mikrokosmos-0.8.0.
Build log (
/home/bruce/.cabal/logs/ghc-8.10.7/mikrokosmos-0.8.0-e-mikrokosmos-5676a63111e4d2a457043e76eaed0be71875db064a0bbd21a8493d8a2d2a0f7d.log
):
Configuring executable 'mikrokosmos' for mikrokosmos-0.8.0..
Preprocessing executable 'mikrokosmos' for mikrokosmos-0.8.0..
Building executable 'mikrokosmos' for mikrokosmos-0.8.0..
[ 1 of 12] Compiling Format ( source/Format.hs, dist/build/mikrokosmos/mikrokosmos-tmp/Format.o )
[ 2 of 12] Compiling Lambda ( source/Lambda.hs, dist/build/mikrokosmos/mikrokosmos-tmp/Lambda.o )
[ 3 of 12] Compiling Libraries ( source/Libraries.hs, dist/build/mikrokosmos/mikrokosmos-tmp/Libraries.o )
[ 4 of 12] Compiling MultiBimap ( source/MultiBimap.hs, dist/build/mikrokosmos/mikrokosmos-tmp/MultiBimap.o )
[ 5 of 12] Compiling Environment ( source/Environment.hs, dist/build/mikrokosmos/mikrokosmos-tmp/Environment.o )
[ 6 of 12] Compiling NamedLambda ( source/NamedLambda.hs, dist/build/mikrokosmos/mikrokosmos-tmp/NamedLambda.o )

source/NamedLambda.hs:24:1: warning: [-Wunused-imports]
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()
|
24 | import Control.Applicative ((<$>), (<*>))
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[ 7 of 12] Compiling Ski ( source/Ski.hs, dist/build/mikrokosmos/mikrokosmos-tmp/Ski.o )
[ 8 of 12] Compiling Stlc.Block ( source/Stlc/Block.hs, dist/build/mikrokosmos/mikrokosmos-tmp/Stlc/Block.o )

source/Stlc/Block.hs:14:10: error:
• No instance for (Semigroup Block)
arising from the superclasses of an instance declaration
• In the instance declaration for ‘Monoid Block’
|
14 | instance Monoid Block where
| ^^^^^^^^^^^^

source/Stlc/Block.hs:55:10: error:
• No instance for (Semigroup Block) arising from a use of ‘<>’
• In the expression: us <> Block [replicate (length label) ' ']
In an equation for ‘ut’:
ut = us <> Block [replicate (length label) ' ']
In an equation for ‘stackBlocks’:
stackBlocks label u v
= Block $ getBlock ut ++ [hline] ++ getBlock vt
where
mw = max (width u) (width v)
us = centerBlock mw u
vs = centerBlock mw v
hline = replicate mw hsepChar ++ label
....
|
55 | ut = us <> Block [replicate (length label) ' ']
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

source/Stlc/Block.hs:56:10: error:
• No instance for (Semigroup Block) arising from a use of ‘<>’
• In the expression: vs <> Block [replicate (length label) ' ']
In an equation for ‘vt’:
vt = vs <> Block [replicate (length label) ' ']
In an equation for ‘stackBlocks’:
stackBlocks label u v
= Block $ getBlock ut ++ [hline] ++ getBlock vt
where
mw = max (width u) (width v)
us = centerBlock mw u
vs = centerBlock mw v
hline = replicate mw hsepChar ++ label
....
|
56 | vt = vs <> Block [replicate (length label) ' ']
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

source/Stlc/Block.hs:79:32: error:
• No instance for (Semigroup Block) arising from a use of ‘<>’
• In the expression: x <> Block [" "] <> y
In the first argument of ‘foldr1’, namely
‘(\ x y -> x <> Block [" "] <> y)’
In the expression: foldr1 (\ x y -> x <> Block [" "] <> y) blocks
|
79 | then foldr1 (\x y -> x <> Block [" "] <> y) blocks
| ^^^^^^^^^^^^^^^^^^^^^^^
cabal: Failed to build exe:mikrokosmos from mikrokosmos-0.8.0. See the build
log above for details.

(env) bruce@bruce-ThinkPad-X1-Yoga-1st:~/python/myproject$

[beh333]

I tried a different machine with Ubuntu 18.04 and a completely fresh install via https://www.haskell.org/ghcup/ that went flawlessly, with defaults on every prompt. Then when I did "cabal install mikrokosmos" I got the same error, per below.

bruce@bruce-Latitude-E6410:~$ cabal install mikrokosmos
Resolving dependencies...
Build profile: -w ghc-8.10.7 -O1
In order, the following will be built (use -v for more details):

• base-orphans-0.8.6 (lib) (requires download & build)
• call-stack-0.4.0 (lib) (requires download & build)
• clock-0.8.3 (lib) (requires download & build)
• colour-2.3.6 (lib) (requires download & build)
• monads-tf-0.1.0.3 (lib:monads-tf) (requires download & build)
• multimap-1.2.1 (lib:multimap) (requires download & build)
• splitmix-0.1.0.4 (lib) (requires download & build)
• tagged-0.8.6.1 (lib) (requires download & build)
• transformers-compat-0.7.1 (lib) (requires download & build)
• unbounded-delays-0.1.1.1 (lib) (requires download & build)
• unliftio-core-0.2.0.1 (lib) (requires download & build)
• wcwidth-0.0.2 (lib:wcwidth) (requires download & build)
• hashable-1.4.0.2 (lib) (requires download & build)
• HUnit-1.6.2.0 (lib) (requires download & build)
• ansi-terminal-0.11.1 (lib) (requires download & build)
• options-1.2.1.1 (lib) (requires download & build)
• random-1.2.1 (lib) (requires download & build)
• async-2.2.4 (lib) (requires download & build)
• ansi-wl-pprint-0.6.9 (lib) (requires download & build)
• temporary-1.3 (lib) (requires download & build)
• QuickCheck-2.14.2 (lib) (requires download & build)
• typed-process-0.2.8.0 (lib) (requires download & build)
• optparse-applicative-0.17.0.0 (lib) (requires download & build)
• tasty-1.4.2.1 (lib) (requires download & build)
• tasty-quickcheck-0.10.2 (lib) (requires download & build)
• tasty-hunit-0.10.0.3 (lib) (requires download & build)
• tasty-golden-2.3.5 (lib) (requires download & build)
• mikrokosmos-0.8.0 (exe:mikrokosmos) (requires download & build)
  Downloading base-orphans-0.8.6
  Downloaded base-orphans-0.8.6
  Downloading call-stack-0.4.0
  Starting base-orphans-0.8.6 (lib)
  Downloaded call-stack-0.4.0
  Downloading clock-0.8.3
  Starting call-stack-0.4.0 (lib)
  Downloaded clock-0.8.3
  Downloading colour-2.3.6
  Starting clock-0.8.3 (lib)
  Downloaded colour-2.3.6
  Downloading monads-tf-0.1.0.3
  Starting colour-2.3.6 (lib)
  Downloaded monads-tf-0.1.0.3
  Downloading transformers-compat-0.7.1
  Downloaded transformers-compat-0.7.1
  Downloading unbounded-delays-0.1.1.1
  Downloaded unbounded-delays-0.1.1.1
  Downloading unliftio-core-0.2.0.1
  Downloaded unliftio-core-0.2.0.1
  Downloading multimap-1.2.1
  Downloaded multimap-1.2.1
  Downloading options-1.2.1.1
  Downloaded options-1.2.1.1
  Downloading wcwidth-0.0.2
  Downloaded wcwidth-0.0.2
  Downloading splitmix-0.1.0.4
  Downloaded splitmix-0.1.0.4
  Downloading random-1.2.1
  Building base-orphans-0.8.6 (lib)
  Building call-stack-0.4.0 (lib)
  Building colour-2.3.6 (lib)
  Building clock-0.8.3 (lib)
  Downloaded random-1.2.1
  Downloading tagged-0.8.6.1
  Downloaded tagged-0.8.6.1
  Downloading temporary-1.3
  Downloaded temporary-1.3
  Downloading hashable-1.4.0.2
  Downloaded hashable-1.4.0.2
  Downloading async-2.2.4
  Downloaded async-2.2.4
  Downloading typed-process-0.2.8.0
  Downloaded typed-process-0.2.8.0
  Downloading ansi-terminal-0.11.1
  Downloaded ansi-terminal-0.11.1
  Downloading ansi-wl-pprint-0.6.9
  Downloaded ansi-wl-pprint-0.6.9
  Downloading optparse-applicative-0.17.0.0
  Downloaded optparse-applicative-0.17.0.0
  Downloading tasty-1.4.2.1
  Installing call-stack-0.4.0 (lib)
  Downloaded tasty-1.4.2.1
  Downloading tasty-golden-2.3.5
  Downloaded tasty-golden-2.3.5
  Downloading tasty-hunit-0.10.0.3
  Downloaded tasty-hunit-0.10.0.3
  Downloading QuickCheck-2.14.2
  Completed call-stack-0.4.0 (lib)
  Starting monads-tf-0.1.0.3 (all, legacy fallback)
  Downloaded QuickCheck-2.14.2
  Downloading tasty-quickcheck-0.10.2
  Downloaded tasty-quickcheck-0.10.2
  Downloading HUnit-1.6.2.0
  Building monads-tf-0.1.0.3 (all, legacy fallback)
  Downloaded HUnit-1.6.2.0
  Downloading mikrokosmos-0.8.0
  Downloaded mikrokosmos-0.8.0
  Installing clock-0.8.3 (lib)
  Installing monads-tf-0.1.0.3 (all, legacy fallback)
  Completed clock-0.8.3 (lib)
  Starting multimap-1.2.1 (all, legacy fallback)
  Completed monads-tf-0.1.0.3 (all, legacy fallback)
  Starting splitmix-0.1.0.4 (lib)
  Installing base-orphans-0.8.6 (lib)
  Building multimap-1.2.1 (all, legacy fallback)
  Building splitmix-0.1.0.4 (lib)
  Completed base-orphans-0.8.6 (lib)
  Starting tagged-0.8.6.1 (lib)
  Building tagged-0.8.6.1 (lib)
  Installing colour-2.3.6 (lib)
  Completed colour-2.3.6 (lib)
  Starting transformers-compat-0.7.1 (lib)
  Installing multimap-1.2.1 (all, legacy fallback)
  Building transformers-compat-0.7.1 (lib)
  Completed multimap-1.2.1 (all, legacy fallback)
  Starting unbounded-delays-0.1.1.1 (lib)
  Installing splitmix-0.1.0.4 (lib)
  Completed splitmix-0.1.0.4 (lib)
  Starting unliftio-core-0.2.0.1 (lib)
  Building unbounded-delays-0.1.1.1 (lib)
  Building unliftio-core-0.2.0.1 (lib)
  Installing unbounded-delays-0.1.1.1 (lib)
  Installing tagged-0.8.6.1 (lib)
  Completed unbounded-delays-0.1.1.1 (lib)
  Starting wcwidth-0.0.2 (all, legacy fallback)
  Installing unliftio-core-0.2.0.1 (lib)
  Completed tagged-0.8.6.1 (lib)
  Starting HUnit-1.6.2.0 (lib)
  Completed unliftio-core-0.2.0.1 (lib)
  Starting options-1.2.1.1 (lib)
  Building wcwidth-0.0.2 (all, legacy fallback)
  Building HUnit-1.6.2.0 (lib)
  Building options-1.2.1.1 (lib)
  Installing wcwidth-0.0.2 (all, legacy fallback)
  Completed wcwidth-0.0.2 (all, legacy fallback)
  Starting hashable-1.4.0.2 (lib)
  Installing transformers-compat-0.7.1 (lib)
  Completed transformers-compat-0.7.1 (lib)
  Starting ansi-terminal-0.11.1 (lib)
  Building hashable-1.4.0.2 (lib)
  Building ansi-terminal-0.11.1 (lib)
  Installing HUnit-1.6.2.0 (lib)
  Completed HUnit-1.6.2.0 (lib)
  Starting random-1.2.1 (lib)
  Building random-1.2.1 (lib)
  Installing hashable-1.4.0.2 (lib)
  Completed hashable-1.4.0.2 (lib)
  Starting async-2.2.4 (lib)
  Installing options-1.2.1.1 (lib)
  Building async-2.2.4 (lib)
  Installing ansi-terminal-0.11.1 (lib)
  Completed options-1.2.1.1 (lib)
  Completed ansi-terminal-0.11.1 (lib)
  Starting ansi-wl-pprint-0.6.9 (lib)
  Building ansi-wl-pprint-0.6.9 (lib)
  Installing async-2.2.4 (lib)
  Completed async-2.2.4 (lib)
  Starting typed-process-0.2.8.0 (lib)
  Installing ansi-wl-pprint-0.6.9 (lib)
  Completed ansi-wl-pprint-0.6.9 (lib)
  Starting optparse-applicative-0.17.0.0 (lib)
  Building typed-process-0.2.8.0 (lib)
  Building optparse-applicative-0.17.0.0 (lib)
  Installing typed-process-0.2.8.0 (lib)
  Completed typed-process-0.2.8.0 (lib)
  Installing optparse-applicative-0.17.0.0 (lib)
  Completed optparse-applicative-0.17.0.0 (lib)
  Starting tasty-1.4.2.1 (lib)
  Building tasty-1.4.2.1 (lib)
  Installing random-1.2.1 (lib)
  Completed random-1.2.1 (lib)
  Starting temporary-1.3 (lib)
  Starting QuickCheck-2.14.2 (lib)
  Building temporary-1.3 (lib)
  Building QuickCheck-2.14.2 (lib)
  Installing temporary-1.3 (lib)
  Completed temporary-1.3 (lib)
  Installing tasty-1.4.2.1 (lib)
  Completed tasty-1.4.2.1 (lib)
  Starting tasty-hunit-0.10.0.3 (lib)
  Starting tasty-golden-2.3.5 (lib)
  Building tasty-golden-2.3.5 (lib)
  Building tasty-hunit-0.10.0.3 (lib)
  Installing tasty-hunit-0.10.0.3 (lib)
  Completed tasty-hunit-0.10.0.3 (lib)
  Installing tasty-golden-2.3.5 (lib)
  Completed tasty-golden-2.3.5 (lib)
  Installing QuickCheck-2.14.2 (lib)
  Completed QuickCheck-2.14.2 (lib)
  Starting tasty-quickcheck-0.10.2 (lib)
  Building tasty-quickcheck-0.10.2 (lib)
  Installing tasty-quickcheck-0.10.2 (lib)
  Completed tasty-quickcheck-0.10.2 (lib)
  Starting mikrokosmos-0.8.0 (exe:mikrokosmos)
  Building mikrokosmos-0.8.0 (exe:mikrokosmos)

Failed to build exe:mikrokosmos from mikrokosmos-0.8.0.
Build log (
/home/bruce/.cabal/logs/ghc-8.10.7/mikrokosmos-0.8.0-e-mikrokosmos-5676a63111e4d2a457043e76eaed0be71875db064a0bbd21a8493d8a2d2a0f7d.log
):
Configuring executable 'mikrokosmos' for mikrokosmos-0.8.0..
Preprocessing executable 'mikrokosmos' for mikrokosmos-0.8.0..
Building executable 'mikrokosmos' for mikrokosmos-0.8.0..
[ 1 of 12] Compiling Format ( source/Format.hs, dist/build/mikrokosmos/mikrokosmos-tmp/Format.o )
[ 2 of 12] Compiling Lambda ( source/Lambda.hs, dist/build/mikrokosmos/mikrokosmos-tmp/Lambda.o )
[ 3 of 12] Compiling Libraries ( source/Libraries.hs, dist/build/mikrokosmos/mikrokosmos-tmp/Libraries.o )
[ 4 of 12] Compiling MultiBimap ( source/MultiBimap.hs, dist/build/mikrokosmos/mikrokosmos-tmp/MultiBimap.o )
[ 5 of 12] Compiling Environment ( source/Environment.hs, dist/build/mikrokosmos/mikrokosmos-tmp/Environment.o )
[ 6 of 12] Compiling NamedLambda ( source/NamedLambda.hs, dist/build/mikrokosmos/mikrokosmos-tmp/NamedLambda.o )

source/NamedLambda.hs:24:1: warning: [-Wunused-imports]
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()
|
24 | import Control.Applicative ((<$>), (<*>))
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[ 7 of 12] Compiling Ski ( source/Ski.hs, dist/build/mikrokosmos/mikrokosmos-tmp/Ski.o )
[ 8 of 12] Compiling Stlc.Block ( source/Stlc/Block.hs, dist/build/mikrokosmos/mikrokosmos-tmp/Stlc/Block.o )

source/Stlc/Block.hs:14:10: error:
• No instance for (Semigroup Block)
arising from the superclasses of an instance declaration
• In the instance declaration for ‘Monoid Block’
|
14 | instance Monoid Block where
| ^^^^^^^^^^^^

source/Stlc/Block.hs:55:10: error:
• No instance for (Semigroup Block) arising from a use of ‘<>’
• In the expression: us <> Block [replicate (length label) ' ']
In an equation for ‘ut’:
ut = us <> Block [replicate (length label) ' ']
In an equation for ‘stackBlocks’:
stackBlocks label u v
= Block $ getBlock ut ++ [hline] ++ getBlock vt
where
mw = max (width u) (width v)
us = centerBlock mw u
vs = centerBlock mw v
hline = replicate mw hsepChar ++ label
....
|
55 | ut = us <> Block [replicate (length label) ' ']
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

source/Stlc/Block.hs:56:10: error:
• No instance for (Semigroup Block) arising from a use of ‘<>’
• In the expression: vs <> Block [replicate (length label) ' ']
In an equation for ‘vt’:
vt = vs <> Block [replicate (length label) ' ']
In an equation for ‘stackBlocks’:
stackBlocks label u v
= Block $ getBlock ut ++ [hline] ++ getBlock vt
where
mw = max (width u) (width v)
us = centerBlock mw u
vs = centerBlock mw v
hline = replicate mw hsepChar ++ label
....
|
56 | vt = vs <> Block [replicate (length label) ' ']
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

source/Stlc/Block.hs:79:32: error:
• No instance for (Semigroup Block) arising from a use of ‘<>’
• In the expression: x <> Block [" "] <> y
In the first argument of ‘foldr1’, namely
‘(\ x y -> x <> Block [" "] <> y)’
In the expression: foldr1 (\ x y -> x <> Block [" "] <> y) blocks
|
79 | then foldr1 (\x y -> x <> Block [" "] <> y) blocks
| ^^^^^^^^^^^^^^^^^^^^^^^
cabal: Failed to build exe:mikrokosmos from mikrokosmos-0.8.0. See the build
log above for details.

bruce@bruce-Latitude-E6410:~$

[mroman42]

Thank you so much for pointing this!

I think that this is actually solved in the current version code (with the last three commits or so). However, this version is not yet on Hackage, and so you get the problem when cabal-installing.

Installing Mikrokosmos from the repository should still work. Meanwhile, I should try to update it on Hackage.

This was also raised in #57.

[beh333]

YES thank you it worked per below

bruce@bruce-ThinkPad-X1-Yoga-1st:/haskell$ git clone https://github.com/mroman42/mikrokosmos.git
Cloning into 'mikrokosmos'...
remote: Enumerating objects: 1861, done.
remote: Counting objects: 100% (5/5), done.
remote: Compressing objects: 100% (5/5), done.
remote: Total 1861 (delta 0), reused 1 (delta 0), pack-reused 1856
Receiving objects: 100% (1861/1861), 3.35 MiB | 13.83 MiB/s, done.
Resolving deltas: 100% (1213/1213), done.
bruce@bruce-ThinkPad-X1-Yoga-1st:/haskell$ cd mikrokosmos/
bruce@bruce-ThinkPad-X1-Yoga-1st:~/haskell/mikrokosmos$ cabal install
Wrote tarball sdist to
/home/bruce/haskell/mikrokosmos/dist-newstyle/sdist/mikrokosmos-0.8.0.tar.gz
Resolving dependencies...
Build profile: -w ghc-8.10.7 -O1
In order, the following will be built (use -v for more details):

• mikrokosmos-0.8.0 (exe:mikrokosmos) (requires build)
  Starting mikrokosmos-0.8.0 (exe:mikrokosmos)
  Building mikrokosmos-0.8.0 (exe:mikrokosmos)
  Installing mikrokosmos-0.8.0 (exe:mikrokosmos)
  Completed mikrokosmos-0.8.0 (exe:mikrokosmos)
  Symlinking 'mikrokosmos' to '/home/bruce/.cabal/bin/mikrokosmos'
  bruce@bruce-ThinkPad-X1-Yoga-1st:~/haskell/mikrokosmos$ mikrokosmos
  Welcome to the Mikrokosmos Lambda Interpreter!
  Version 0.8.0. GNU General Public License Version 3.

mikro> \f.\x.f(f x)
λa.λb.a (a b) ⇒ 2
mikro>