Use JSON as save format

2022-07-25 23:24:09 +01:00
parent b8e8413daa
commit 0d479cba87
7 changed files with 27 additions and 19 deletions
@@ -1,5 +1,5 @@
-{-# LANGUAGE StandaloneDeriving #-}
-{-# LANGUAGE DeriveGeneric #-}
+--{-# LANGUAGE StandaloneDeriving #-}
+--{-# LANGUAGE DeriveGeneric #-}
 {-# OPTIONS_GHC -Wno-unused-imports #-}
 {-# OPTIONS_GHC -fno-warn-orphans #-}
 {- |