sisteme axiomatice
(5.1) COEN 171 - Functional Languages Functional programming basics Atoms and lists; cons Useful primitive functions Predicates Arithmetic functions.
