{"ref":"v0.3.3-SNAPSHOT","ref_type":"tag","master_branch":"master","description":"LaTTe : a Laboratory for Type Theory experiments (in clojure)","pusher_type":"user"}
{"actor":{"display_login":"fredokun"}}