Vous avez reçu un message "Your GitLab account has been locked ..." ? Pas d'inquiétude : lisez cet article https://docs.gricad-pages.univ-grenoble-alpes.fr/help/unlock/

Commit 4fd8103f authored by Marc Coiffier's avatar Marc Coiffier
Browse files

Rename the WiQEE.js executable into the more appropriate capricon-engine.js,...

Rename the WiQEE.js executable into the more appropriate capricon-engine.js, since the main UI logic was moved to a dedicated library
parent ec7e21df
......@@ -39,10 +39,10 @@ executable capricon
ghc-options: -Wincomplete-patterns -Wname-shadowing -W -Werror
hs-source-dirs: exe
default-language: Haskell2010
executable WiQEE.js
executable capricon-engine.js
if !impl(haste)
buildable: False
main-is: WiQEE.hs
main-is: CaPriCon_Engine.hs
default-extensions: RebindableSyntax, ViewPatterns, TupleSections, FlexibleInstances, FlexibleContexts, MultiParamTypeClasses, FunctionalDependencies, LambdaCase, TypeOperators, RankNTypes, GeneralizedNewtypeDeriving, TypeFamilies
-- other-modules:
-- other-extensions:
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment