diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2020-01-21 20:46:49 -0500 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2020-01-21 20:46:49 -0500 |
| commit | cf25fee8d3d0dfacf6733521afea9a242a00d31e (patch) | |
| tree | 819081bbd3e50a3ab5a759bb2aa80deb5fb7d8df /.travis.yml | |
| parent | f500d43acd21458f95faad8b05ee25bf5b19a3fc (diff) | |
| parent | a5115ec6628146cdc4b836b4e803c7bc781a4231 (diff) | |
Merge pull request #193 from mdempsky/monad-kind
monad has kind (Type->Type)->Type, not just Type->Type
Diffstat (limited to '.travis.yml')
0 files changed, 0 insertions, 0 deletions