comptrans

Translation of ASTs into multi-sorted compositional data types

Stars

4

Forks

0

Language

Haskell

Last Updated

Dec 05, 2019

Similar Repos