Add membrain

This commit is contained in:
vrom911 2020-02-10 21:51:13 +00:00 committed by Mihai Maruseac
parent 5362f6f739
commit ba75fc0b26

View File

@ -3591,6 +3591,7 @@ packages:
- co-log-polysemy - co-log-polysemy
- first-class-patterns - first-class-patterns
- ilist - ilist
- membrain
- relude - relude
- shellmet - shellmet
- shortcut-links - shortcut-links