├── .gitignore ├── Corecur.scala ├── README.md ├── cofree.scala ├── create.sql ├── extras.scala ├── project ├── build.properties └── plugins.sbt └── tut ├── doobie_logo.svg ├── idprof.png ├── prof.png ├── remark-latest.min.js └── slides.html /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tpolecat/cofree/HEAD/.gitignore -------------------------------------------------------------------------------- /Corecur.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tpolecat/cofree/HEAD/Corecur.scala -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tpolecat/cofree/HEAD/README.md -------------------------------------------------------------------------------- /cofree.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tpolecat/cofree/HEAD/cofree.scala -------------------------------------------------------------------------------- /create.sql: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tpolecat/cofree/HEAD/create.sql -------------------------------------------------------------------------------- /extras.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tpolecat/cofree/HEAD/extras.scala -------------------------------------------------------------------------------- /project/build.properties: -------------------------------------------------------------------------------- 1 | sbt.version=0.13.8 2 | -------------------------------------------------------------------------------- /project/plugins.sbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tpolecat/cofree/HEAD/project/plugins.sbt -------------------------------------------------------------------------------- /tut/doobie_logo.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tpolecat/cofree/HEAD/tut/doobie_logo.svg -------------------------------------------------------------------------------- /tut/idprof.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tpolecat/cofree/HEAD/tut/idprof.png -------------------------------------------------------------------------------- /tut/prof.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tpolecat/cofree/HEAD/tut/prof.png -------------------------------------------------------------------------------- /tut/remark-latest.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tpolecat/cofree/HEAD/tut/remark-latest.min.js -------------------------------------------------------------------------------- /tut/slides.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tpolecat/cofree/HEAD/tut/slides.html --------------------------------------------------------------------------------