{"pages":[{"page_name":"Dependent-Haskell---Type-level-programming","title":"Dependent Haskell   Type level programming","summary":null,"action":"edited","sha":"4e3560d3b0a435686227441e1db4de11d67972a2","html_url":"https://github.com/YuMingLiao/haskell_code/wiki/Dependent-Haskell---Type-level-programming"}]}
{"actor":{"display_login":"YuMingLiao"}}