Unser types to primitive constructors - Githubissues

hexresearch / hschain-utxo

UTXO-based contracts for hschain

0 stars 0 forks source link

Unser types to primitive constructors #215

Closed anton-k closed 3 years ago

anton-k commented 3 years ago

Adds convertion of user types (including records) to primitive core types
Several bug-fixes for type-checker
Support for Maybe and Unit in high-level lang
Useful funs for Maybe type.