on d64cdeb help sign in
all commits
08e09b6replace AnyAtomType with real type variables remove useless TypeConstructorArg allow atom functions to have polymorphic typesAgentM aed8762WIP compilation checkpoint tutd switching to compiling project-m36 library as a dependency for executables switched to Atom ADT AtomFunctionBody somewhat workingAgentM