Leon Chwistek, a founder of type theory.
Xah Programing Blog
http://xahlee.info/comp/blog.html
#haskell
Conversation
Notices
-
∑ XahLee (xahlee@noagendasocial.com)'s status on Friday, 03-Nov-2017 14:58:34 EDT ∑ XahLee
Leon Chwistek, a founder of type theory.
Xah Programing Blog
http://xahlee.info/comp/blog.html
#haskell
Jonkman Microblog is a social network, courtesy of SOBAC Microcomputer Services. It runs on GNU social, version 1.2.0-beta5, available under the GNU Affero General Public License.
All Jonkman Microblog content and data are available under the Creative Commons Attribution 3.0 license.