on 203_subrelation_attr_def help sign in
1 file
../ 2015-12-07-tu-quoque.htmlWIP Atomable List instance and built-in List type -problem identified- instead of returning ambiguous AnyAtomType, it should be a type variable so that types can be resolved