Gerolf Seitz gseitz
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # set the command prefix to ` | |
| set -g prefix "`" | |
| unbind C-b | |
| bind "`" send-prefix | |
| # listen to alerts from all windows | |
| set -g bell-action any | |
| set -g default-shell /usr/local/bin/fish | |
| set -g default-command fish |
lamdor
/ build.sbt
Last active
May 26, 2021 21:27
Playing around with tagless final style and Eff (from https://github.com/edmundnoble/final-tagless-typelevel-summit)
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| scalaVersion := "2.11.8" | |
| scalaOrganization := "org.typelevel" | |
| libraryDependencies ++= Seq( | |
| "org.typelevel" %% "cats" % "0.9.0", | |
| "org.atnos" %% "eff" % "4.0.0" | |
| ) | |
| addCompilerPlugin("org.spire-math" %% "kind-projector" % "0.9.3") |
OlderNewer