2 ms·Is the type system more or less complicated than Agda’s?by armchairhacker 3y agoIs the type system more or less complicated than Agda’s?