diff options
author | 2020-01-21 20:46:49 -0500 | |
---|---|---|
committer | 2020-01-21 20:46:49 -0500 | |
commit | cf25fee8d3d0dfacf6733521afea9a242a00d31e (patch) | |
tree | 819081bbd3e50a3ab5a759bb2aa80deb5fb7d8df /include/urweb | |
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 'include/urweb')
0 files changed, 0 insertions, 0 deletions