{"ref":"sigplan","ref_type":"branch","master_branch":"master","description":"`FunImpl` is a type checker and interpreter for the dependently typed language `Fun` presented in the paper \"Type-level Computation One Step at a Time\"","pusher_type":"user"}