Axiomatic reasoning about music theory(prolog, haskell)code.google.com3 points·freedrull··0 commentsOpen articleSaveView on HN