Skip to main content

Browse the archive

Revision c47a4df6c02193882b8881ed968a13fa6d69b993 authored by Ranjit Jhala on 12 April 2019, 18:59:25 UTC, committed by GitHub on 12 April 2019, 18:59:25 UTC 
Merge pull request #394 from ucsd-progsys/ple2
 
Encode coercions as uninterpreted functions
2 parent s 93b8d45 + 130f3a9
Raw File
Setup.hs 
import Distribution.Simple
main = defaultMain
back to top