on dev help sign in
remove some garbage
41f8082Eitan Chatav
squeal-postgresql/src/Squeal/PostgreSQL/Untitled-1deleted−5
@@ -1,5 +0,0 @@
1−:{
2−type Schema0 = '["tab" ::: '[] :=> '["col" ::: 'NoDef :=> 'NotNull 'PGint4]]
3−type Schema1 = '["tab" ::: '["positive" ::: 'Check ] :=> '["col" ::: 'NoDef :=> 'NotNull 'PGint4]]
4−let x = 'x'
5−:}