├── Henk ├── Classification.hs ├── HenkAS.hs ├── HenkInt.hs ├── HenkPP.hs ├── HenkParser.hs ├── HenkTC.hs ├── HenkTI.hs ├── Main.hs ├── TermSupport.hs └── TypeSystems.hs ├── README.md ├── henk.cabal ├── prelude.henk ├── prog.henk └── stack.yaml /Henk/Classification.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minad/henk/HEAD/Henk/Classification.hs -------------------------------------------------------------------------------- /Henk/HenkAS.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minad/henk/HEAD/Henk/HenkAS.hs -------------------------------------------------------------------------------- /Henk/HenkInt.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minad/henk/HEAD/Henk/HenkInt.hs -------------------------------------------------------------------------------- /Henk/HenkPP.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minad/henk/HEAD/Henk/HenkPP.hs -------------------------------------------------------------------------------- /Henk/HenkParser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minad/henk/HEAD/Henk/HenkParser.hs -------------------------------------------------------------------------------- /Henk/HenkTC.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minad/henk/HEAD/Henk/HenkTC.hs -------------------------------------------------------------------------------- /Henk/HenkTI.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minad/henk/HEAD/Henk/HenkTI.hs -------------------------------------------------------------------------------- /Henk/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minad/henk/HEAD/Henk/Main.hs -------------------------------------------------------------------------------- /Henk/TermSupport.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minad/henk/HEAD/Henk/TermSupport.hs -------------------------------------------------------------------------------- /Henk/TypeSystems.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minad/henk/HEAD/Henk/TypeSystems.hs -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minad/henk/HEAD/README.md -------------------------------------------------------------------------------- /henk.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minad/henk/HEAD/henk.cabal -------------------------------------------------------------------------------- /prelude.henk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minad/henk/HEAD/prelude.henk -------------------------------------------------------------------------------- /prog.henk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/minad/henk/HEAD/prog.henk -------------------------------------------------------------------------------- /stack.yaml: -------------------------------------------------------------------------------- 1 | flags: {} 2 | packages: 3 | - '.' 4 | extra-deps: [] 5 | resolver: nightly-2015-10-08 6 | --------------------------------------------------------------------------------