on c0554e0 help sign in
all commits
a8da548WIP: type inference -non-compilation checkpointAgentM 5f34a12clear separation between type and data constructor definition and instantiation -compilation checkpointAgentM 0c481e8WIP- polymorphic data types parsing -compilation checkpointAgentM 9835bf4WIP: lots of refactoring for new constructed atom types and primitive types separationAgentM