rename Path to PLam and IdP to PathP
authorAnders Mörtberg <andersmortberg@gmail.com>
Thu, 7 Jul 2016 13:43:11 +0000 (15:43 +0200)
committerAnders Mörtberg <andersmortberg@gmail.com>
Thu, 7 Jul 2016 13:43:11 +0000 (15:43 +0200)
commit7d92d0a48cc5d74b14412c14c1b2e116e0034543
tree879ec8399bd20d2b8ae9b84ba77169677debaaa5
parent05170941ab091494f02692ab69a0d5204bd2881b
rename Path to PLam and IdP to PathP
CTT.hs
Eval.hs
Exp.cf
Resolver.hs
TypeChecker.hs