rml, 9 months ago #Algol, #C, #Java et al: deontology #Scheme, #Lisp, etc: metaontology #Haskell, #ML, etc: ontology #Prolog, #Minikanren: phenomenology
#Algol, #C, #Java et al: deontology #Scheme, #Lisp, etc: metaontology #Haskell, #ML, etc: ontology
#Prolog, #Minikanren: phenomenology