Special purpose lifting combinator for Kefir properties - View it on GitHub
Star
1
Rank
4898865