{"push_id":764882814,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"391f16031ed109902550e5831b4f8f46180291a4","before":"1d1ae0f828d3e074f2472455d47c4befdd547065","commits":[{"sha":"48b13ad8a78abf0272a860bb85234d9b7e599a67","author":{"email":"a6a209d34dfb8f0e8cc38253a876a9b3e245c48a@chalmers.se","name":"hallgren"},"message":"PGF2: export BindType(..) and two new functions: showType & categories\n\nshowType :: Type -> String\ncategories :: PGF -> [Cat]\n\nBut both are implemented as quick hacks: categories is implemented by listing\nall functions and taking the target categories from their types. showType uses\nppType copied & modified from PGF.Type, and needs a ppExpr, which is currently\nimplemented by wrapping showExpr...\n\nTODO: need something correpsonding to PGF.categoryContext.","distinct":true,"url":"https://api.github.com/repos/GrammaticalFramework/GF/commits/48b13ad8a78abf0272a860bb85234d9b7e599a67"},{"sha":"391f16031ed109902550e5831b4f8f46180291a4","author":{"email":"a6a209d34dfb8f0e8cc38253a876a9b3e245c48a@chalmers.se","name":"hallgren"},"message":"gf -cshell: implement a subset of print_grammar and abstract_info\npg supports only the -funs, -cats and -langs output modes.\n\nai IDENTIFIER shows info about a category or a function. ai can not type check\nand refine metavariables in expressions.","distinct":true,"url":"https://api.github.com/repos/GrammaticalFramework/GF/commits/391f16031ed109902550e5831b4f8f46180291a4"}]}