├── .gitignore ├── .gitmodules ├── LICENSE ├── Net.md ├── README.md ├── fide ├── Fide.hs ├── HaskelineT.hs └── Main.hs ├── formality-haskell.cabal ├── graphviz ├── Graph.hs ├── inConCon.dot ├── inConCon.png ├── inConCon.svg ├── inConDup.dot ├── inConDup.png ├── inConDup.svg ├── inConEra.dot ├── inConEra.png ├── inConEra.svg ├── outConCon.dot ├── outConCon.png ├── outConCon.svg ├── outConDup.dot ├── outConDup.png ├── outConDup.svg ├── outConEra.dot ├── outConEra.png └── outConEra.svg ├── shell.nix ├── src ├── Check.hs ├── Core.hs ├── CoreSyn.hs ├── IEEE754.hs ├── Lang.hs ├── Parser.hs ├── Parser │ ├── Lang.hs │ ├── PreModule.hs │ └── Types.hs ├── Pretty.hs ├── Runtime │ └── Net.hs ├── SimplerCore.hs └── test.hs ├── stack.yaml └── test ├── Spec.hs └── Spec ├── Core.hs ├── Lang.hs ├── Net.hs ├── Parser.hs └── Parser ├── Lang.hs ├── PreModule.hs └── Utils.hs /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Formality-Haskell/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Formality-Haskell/HEAD/.gitmodules -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Formality-Haskell/HEAD/LICENSE -------------------------------------------------------------------------------- /Net.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Formality-Haskell/HEAD/Net.md -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Formality-Haskell/HEAD/README.md -------------------------------------------------------------------------------- /fide/Fide.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Formality-Haskell/HEAD/fide/Fide.hs -------------------------------------------------------------------------------- /fide/HaskelineT.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Formality-Haskell/HEAD/fide/HaskelineT.hs -------------------------------------------------------------------------------- /fide/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Formality-Haskell/HEAD/fide/Main.hs -------------------------------------------------------------------------------- /formality-haskell.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Formality-Haskell/HEAD/formality-haskell.cabal -------------------------------------------------------------------------------- /graphviz/Graph.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Formality-Haskell/HEAD/graphviz/Graph.hs -------------------------------------------------------------------------------- /graphviz/inConCon.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Formality-Haskell/HEAD/graphviz/inConCon.dot -------------------------------------------------------------------------------- /graphviz/inConCon.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Formality-Haskell/HEAD/graphviz/inConCon.png -------------------------------------------------------------------------------- /graphviz/inConCon.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Formality-Haskell/HEAD/graphviz/inConCon.svg -------------------------------------------------------------------------------- /graphviz/inConDup.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Formality-Haskell/HEAD/graphviz/inConDup.dot -------------------------------------------------------------------------------- /graphviz/inConDup.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Formality-Haskell/HEAD/graphviz/inConDup.png -------------------------------------------------------------------------------- /graphviz/inConDup.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Formality-Haskell/HEAD/graphviz/inConDup.svg -------------------------------------------------------------------------------- /graphviz/inConEra.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Formality-Haskell/HEAD/graphviz/inConEra.dot -------------------------------------------------------------------------------- /graphviz/inConEra.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Formality-Haskell/HEAD/graphviz/inConEra.png -------------------------------------------------------------------------------- /graphviz/inConEra.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Formality-Haskell/HEAD/graphviz/inConEra.svg -------------------------------------------------------------------------------- /graphviz/outConCon.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Formality-Haskell/HEAD/graphviz/outConCon.dot -------------------------------------------------------------------------------- /graphviz/outConCon.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Formality-Haskell/HEAD/graphviz/outConCon.png -------------------------------------------------------------------------------- /graphviz/outConCon.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Formality-Haskell/HEAD/graphviz/outConCon.svg -------------------------------------------------------------------------------- /graphviz/outConDup.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Formality-Haskell/HEAD/graphviz/outConDup.dot -------------------------------------------------------------------------------- /graphviz/outConDup.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Formality-Haskell/HEAD/graphviz/outConDup.png -------------------------------------------------------------------------------- /graphviz/outConDup.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Formality-Haskell/HEAD/graphviz/outConDup.svg -------------------------------------------------------------------------------- /graphviz/outConEra.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Formality-Haskell/HEAD/graphviz/outConEra.dot -------------------------------------------------------------------------------- /graphviz/outConEra.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Formality-Haskell/HEAD/graphviz/outConEra.png -------------------------------------------------------------------------------- /graphviz/outConEra.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Formality-Haskell/HEAD/graphviz/outConEra.svg -------------------------------------------------------------------------------- /shell.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Formality-Haskell/HEAD/shell.nix -------------------------------------------------------------------------------- /src/Check.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Formality-Haskell/HEAD/src/Check.hs -------------------------------------------------------------------------------- /src/Core.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Formality-Haskell/HEAD/src/Core.hs -------------------------------------------------------------------------------- /src/CoreSyn.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Formality-Haskell/HEAD/src/CoreSyn.hs -------------------------------------------------------------------------------- /src/IEEE754.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Formality-Haskell/HEAD/src/IEEE754.hs -------------------------------------------------------------------------------- /src/Lang.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Formality-Haskell/HEAD/src/Lang.hs -------------------------------------------------------------------------------- /src/Parser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Formality-Haskell/HEAD/src/Parser.hs -------------------------------------------------------------------------------- /src/Parser/Lang.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Formality-Haskell/HEAD/src/Parser/Lang.hs -------------------------------------------------------------------------------- /src/Parser/PreModule.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Formality-Haskell/HEAD/src/Parser/PreModule.hs -------------------------------------------------------------------------------- /src/Parser/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Formality-Haskell/HEAD/src/Parser/Types.hs -------------------------------------------------------------------------------- /src/Pretty.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Formality-Haskell/HEAD/src/Pretty.hs -------------------------------------------------------------------------------- /src/Runtime/Net.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Formality-Haskell/HEAD/src/Runtime/Net.hs -------------------------------------------------------------------------------- /src/SimplerCore.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Formality-Haskell/HEAD/src/SimplerCore.hs -------------------------------------------------------------------------------- /src/test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Formality-Haskell/HEAD/src/test.hs -------------------------------------------------------------------------------- /stack.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Formality-Haskell/HEAD/stack.yaml -------------------------------------------------------------------------------- /test/Spec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Formality-Haskell/HEAD/test/Spec.hs -------------------------------------------------------------------------------- /test/Spec/Core.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Formality-Haskell/HEAD/test/Spec/Core.hs -------------------------------------------------------------------------------- /test/Spec/Lang.hs: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /test/Spec/Net.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Formality-Haskell/HEAD/test/Spec/Net.hs -------------------------------------------------------------------------------- /test/Spec/Parser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Formality-Haskell/HEAD/test/Spec/Parser.hs -------------------------------------------------------------------------------- /test/Spec/Parser/Lang.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Formality-Haskell/HEAD/test/Spec/Parser/Lang.hs -------------------------------------------------------------------------------- /test/Spec/Parser/PreModule.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Formality-Haskell/HEAD/test/Spec/Parser/PreModule.hs -------------------------------------------------------------------------------- /test/Spec/Parser/Utils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Soonad/Formality-Haskell/HEAD/test/Spec/Parser/Utils.hs --------------------------------------------------------------------------------