GitHub CreateEvent at 2014-04-03 11:07:42
Repository: ttlite
Actor: ilya-klyuchnikov
Payload: ref: before_tt0
ref_type: tag
master_branch: master
description: A SuperCompiler for Martin-Löf's Type Theory
pusher_type: user