European Language Equality Network. 2581 likes · 9 talking about this. With 174 member organisations representing 50 languages in 25 states, ELEN is the... ... <看更多>

This workshop (18/11/21) aimed to: (1) to familiarise participants with the work of the European Language Equality Project (ELE) and map out ... ... <看更多>

This chapter has no imports. Every chapter in this book, and nearly every module in the Agda standard library, imports equality. Since we define equality here, ... ... <看更多>