├── Examples.hs ├── HLogic.hs └── README.md /Examples.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smichal/hs-logic/HEAD/Examples.hs -------------------------------------------------------------------------------- /HLogic.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smichal/hs-logic/HEAD/HLogic.hs -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/smichal/hs-logic/HEAD/README.md --------------------------------------------------------------------------------