Commit 5d13543

Alex Gryzlov

committed

WIP Tactics (apply)

1 parent 4061db3 commit 5d13543Copy full SHA for 5d13543

1 file changed

+197

-184

lines changed

src
- Tactics.lidr

1 file changed

+197

-184

lines changed

Comments

(0)