>>>>> "PX" == PX  <[email protected]> writes:

PX> Hi, all I posted this question yesterday, and get no answer. Let
PX> me to be more specific this time.

Have you installed Haskell stack as per
https://wiki.sel4.systems/CAmkES

curl -sSL https://get.haskellstack.org/ | sh

Peter C
-- 
Dr Peter Chubb         Tel: +61 2 9490 5852      http://ts.data61.csiro.au/
Trustworthy Systems Group                           Data61 (formerly NICTA)
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel

Reply via email to