Losing my job, wondering if I can make a living implementing Agda libraries
@Taneb sorry, friend :(