diff --git a/package.yaml b/package.yaml
index 750c44f9..2b80b0cc 100644
--- a/package.yaml
+++ b/package.yaml
@@ -1,8 +1,8 @@
 name:         lightblue
-version:      0.5.0.0
+version:      0.5.0.1
 description:  Please see the README on GitHub at <https://github.com/DaisukeBekki/lightblue#README.md>
 homepage:     https://github.com/DaisukeBekki/lightblue
-category:     CCG Parser, Dependent Type Prover
+category:     CCG Parser + Automatic theorem prover for dependent type theory
 synopsis:     A Japanese CCG parser with DTS
 license:      AllRightsReserved
 license-file: LICENSE
@@ -59,7 +59,7 @@ dependencies:
   - template-haskell
   - warp
   - monad-logger >=0.3 && <0.4
-  - shakespeare >=2.0 && <2.1
+  - shakespeare >=2.0 
   - hjsmin >=0.1 && <0.3
   - case-insensitive
   - http-client-tls
@@ -69,8 +69,9 @@ dependencies:
   - transformers >= 0.5.6.2
   - http-conduit >= 2.3.7
   - http-client-tls >= 0.3.5
-  - dotenv >= 0.0.4
+  - dotenv >= 0.11.0
   - deepseq
+  - hasktorch
   - async >= 2.2.4
 
 library:
diff --git a/stack.yaml b/stack.yaml
index 2e41827b..67cb3b98 100644
--- a/stack.yaml
+++ b/stack.yaml
@@ -1,4 +1,4 @@
-resolver: lts-18.28
+resolver: lts-22.43
 
 flags: {}
 
@@ -7,13 +7,31 @@ extra-deps:
   commit: c2cd39168e267007b4690dbf625329bac57a8185
 - git: http://github.com/DaisukeBekki/nlp-tools
   commit: e4bd3783f4e872b8df29538d9219e41f40378363
+# - inline-c-0.9.1.6
+# - inline-c-cpp-0.4.0.0
+- git: https://github.com/hasktorch/hasktorch.git
+  commit: 931fcc76411a277c857388b3a1f51b7d7c1eef1a
+  # 4e846fdcd89df5c7c6991cb9d6142007a6bb0a58
+  subdirs:
+    - hasktorch
+    - libtorch-ffi
+    - libtorch-ffi-helper
+- git: git@github.com:DaisukeBekki/hasktorch-tools.git
+  commit: 936928cdee27e179a5e3775d146046b107b0eba1
 # parserModule
 - git: https://github.com/morning85/parserModules.git
   commit: 899aae39b8c57866148fb3b19a4ac2f393ffaabd
-# 1bf4e582c603c823a89c3dfd1fba0ab4d3d8899a
-#  - git: git@github.com:DaisukeBekki/hasktorch-tools.git
-#    commit: 936928cdee27e179a5e3775d146046b107b0eba1
-- classy-prelude-yesod-1.5.0@sha256:8f7e183bdfd6d2ea9674284c4f285294ab086aff60d9be4e5d7d2f3c1a2b05b7,1330
+
+ghc-options:
+  libtorch-ffi: -optcxx-Wno-error=stringop-overflow
+
+extra-include-dirs:
+  - libtorch/include/torch/csrc/api/include
+  - libtorch/include/torch/include
+  - libtorch/include
+
+extra-lib-dirs:
+  - libtorch/lib
 
 allow-newer: true