Skip to main content

Browse the archive

Revision 657eb509e818b1b8d1308a683a17d073a9318067 authored by Dustin Jamner on 27 October 2021, 16:36:14 UTC, committed by Dustin Jamner on 27 October 2021, 16:36:14 UTC 
Implement F_lia tactic for solving goals on field elements
1 parent fa0df95
Raw File
haskell.sed 
s/import qualified Prelude/import qualified Prelude\nimport qualified Data.Bits\nimport qualified Data.Char\nimport qualified Text.Printf\nimport qualified System.Environment\n/g
s/import qualified GHC.Base/import qualified GHC.Base\n#if __GLASGOW_HASKELL__ >= 900\nimport qualified GHC.Exts\n#endif\n#if __GLASGOW_HASKELL__ >= 802\nimport qualified GHC.Types\n#endif/g
s/unsafeCoerce = GHC.Base.unsafeCoerce#/#if __GLASGOW_HASKELL__ >= 900\nunsafeCoerce = GHC.Exts.unsafeCoerce#\n#else\nunsafeCoerce = GHC.Base.unsafeCoerce#\n#endif/g
back to top