Commit 695c423

Alex Gryzlov

committed

first draft of Tactics

1 parent 6bea767 commit 695c423Copy full SHA for 695c423

1 file changed

+260

-202

lines changed

src
- Tactics.lidr

1 file changed

+260

-202

lines changed

Comments

(0)