{"ref":null,"ref_type":"repository","master_branch":"master","description":"An Implementation of a Dependently Typed Lambda Calculus from http://strictlypositive.org/Easy.pdf","pusher_type":"user"}
{"actor":{"display_login":"ak3n"}}