Commit cf20302

committed

Types up to progress.

1 parent b03b894 commit cf20302Copy full SHA for cf20302

1 file changed

+201

-203

lines changed

src
- Types.lidr

1 file changed

+201

-203

lines changed

Comments

(0)