Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

No more strategy #239

Closed
wants to merge 6 commits into from
Closed

No more strategy #239

wants to merge 6 commits into from

Commits on Oct 4, 2019

  1. delete strategy stuff

    @isovector
    isovector committed Oct 4, 2019
    Configuration menu
    Copy the full SHA
    5456b1d View commit details
    Browse the repository at this point in the history

  2. kinda works

    @isovector
    isovector committed Oct 4, 2019
    Configuration menu
    Copy the full SHA
    0a2000b View commit details
    Browse the repository at this point in the history

  3. compiles

    @isovector
    isovector committed Oct 4, 2019
    Configuration menu
    Copy the full SHA
    5a42464 View commit details
    Browse the repository at this point in the history

  4. Generalize the *T functions

    @isovector
    isovector committed Oct 4, 2019
    Configuration menu
    Copy the full SHA
    dbd9266 View commit details
    Browse the repository at this point in the history

Commits on Oct 5, 2019

  1. Use Love's idea to put Tactics as the top of the effect stack

    @isovector
    isovector committed Oct 5, 2019
    Configuration menu
    Copy the full SHA
    8b46aa9 View commit details
    Browse the repository at this point in the history

Commits on Oct 8, 2019

  1. Strengthen Strategy (#241) 

    * Strengthen Strategy, fix tactics ambiguity issues

* Generalize pureT

* Fix compilation errors

* Revert unintended change to stack.yaml
    @KingoftheHomeless @isovector
    KingoftheHomeless authored and isovector committed Oct 8, 2019
    Configuration menu
    Copy the full SHA
    50b1682 View commit details
    Browse the repository at this point in the history