A small handout on TTTAS (Typed Transformations of Typed Abstract Syntax)Published byadoseoflogic.blogspot.comon •1 min readA blag containing my current adventures in logic, haskell and agents.SmallHandoutTttasTypedTransformationsLearn moreShareLegalReport
