A Dependently Typed Functional Programming Language
created at Sept. 14, 2011, 4:55 p.m.
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
created at Dec. 21, 2019, 9:50 a.m.