What is Dexter? > Technical Details

Dexter: Technical Details

Dexter is a single Tezos smart contract written in Morley, a Haskell library that outputs Michelson and has a property test framework. Dexter has a variety of property tests on all of its entry points.

Previous:
Introduction to Dexter