Added contains functions in List and Option. Fixed one type error #769

Merged
zxq9 merged 3 commits from contains-fun into lima 2020-08-27 18:25:39 +09:00

3 Commits

Author SHA1 Message Date
radrow
3d73e52d48 Fix tests 2020-08-26 15:56:21 +02:00
radrow
89b3ec3d17 minor optimization 2020-08-26 12:10:24 +02:00
radrow
7e32ef57c2 Added contains functions in List and Option. Fixed one type error catch 2020-08-26 11:56:18 +02:00