Skip to main content

Browse the archive

Revision f91eb65430de9865ffe0aee57503a9079c8d8f53 authored by Georgi Lyubenov on 04 June 2019, 12:49:58 UTC, committed by Georgi Lyubenov on 04 June 2019, 12:49:58 UTC 
Rename LH Set to work around Z3's Set
1 parent 648fcc9
Raw File
Setup.hs 
import Distribution.Simple
main = defaultMain
back to top