├── README.md └── SystemF.hs /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DanBurton/system-f/HEAD/README.md -------------------------------------------------------------------------------- /SystemF.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DanBurton/system-f/HEAD/SystemF.hs --------------------------------------------------------------------------------