git.iko.soy
/
squeal
readme
files
commits
refs
on
65893e0
help
sign in
65893e0
Update Property.hs
Eitan Chatav
7 years ago
1afd17c
time and time range tests
Eitan Chatav
7 years ago
78d8e0b
Merge branch 'dev' into dev-range
Eitan Chatav
7 years ago
1b21626
Merge pull request #144 from morphismtech/dev-haddocks
Eitan Chatav
7 years ago
4e44a3a
fix docs
Eitan Chatav
7 years ago
5657b81
Merge pull request #143 from league/domain-alias
Eitan Chatav
7 years ago
2de32fb
Correct alias constraint on createDomain; fixes #142
Christopher League
7 years ago
c135984
Add non-compiling createDomain to Example program
Christopher League
7 years ago
e2abe3d
range tests
Eitan Chatav
7 years ago
54d2f03
range binary
Eitan Chatav
7 years ago
cd2e14e
url
Eitan Chatav
7 years ago
2f6c226
failing tests
Eitan Chatav
7 years ago
8a3e90a
tests!
Eitan Chatav
7 years ago
9a2cd8d
operator renaming
Eitan Chatav
7 years ago
5105396
test changes
Eitan Chatav
7 years ago
1e3cf9f
binary tests
Eitan Chatav
7 years ago
0980480
rejigger ADTs
Eitan Chatav
7 years ago
5b1f425
undo
Eitan Chatav
7 years ago
ffed042
type empty ranges
Eitan Chatav
7 years ago
84df501
range operators & functions
Eitan Chatav
7 years ago
d6ad73f
greaterThan ~> moreThan
Eitan Chatav
7 years ago
466adc7
fix test
Eitan Chatav
7 years ago
df5a08a
rename half interval constructors
Eitan Chatav
7 years ago
a23193a
whole
Eitan Chatav
7 years ago
66ccd16
remove patterns
Eitan Chatav
7 years ago
b11f955
Range module
Eitan Chatav
7 years ago
c2d4fa8
Range
Eitan Chatav
7 years ago
c6e442e
Bound and range
Eitan Chatav
7 years ago
db95c02
ranges
Eitan Chatav
7 years ago
83c711a
Merge pull request #139 from morphismtech/dev-pool
Eitan Chatav
7 years ago
5ee7116
comment
Eitan Chatav
7 years ago
6d9f03f
using
Eitan Chatav
7 years ago
395ba9a
testing
Eitan Chatav
7 years ago
5afb291
Pool rewrite
Eitan Chatav
7 years ago
f8414c9
circle
Eitan Chatav
7 years ago
b82ac4f
0.5.1.0
Eitan Chatav
7 years ago
7622208
Merge pull request #136 from morphismtech/dev
Eitan Chatav
7 years ago
1d6caee
Update RELEASE NOTES.md
Eitan Chatav
7 years ago
78799c2
Merge pull request #137 from morphismtech/dev-readme
Eitan Chatav
7 years ago
846ed51
render export list
Eitan Chatav
7 years ago
80e3b29
insert examples
Eitan Chatav
7 years ago
2c2c8e7
release notes
Eitan Chatav
7 years ago
030a374
Merge branch 'dev' into dev-readme
Eitan Chatav
7 years ago
a8ab4b4
trySqueal
Eitan Chatav
7 years ago
0bbc43b
label the comments
Eitan Chatav
7 years ago
34feddd
comment out P record decoding
Eitan Chatav
7 years ago
458a0e1
manipDefinition
Eitan Chatav
7 years ago
60bc8ac
Update RELEASE NOTES.md
Eitan Chatav
7 years ago
d846c37
Merge branch 'dev' into dev-readme
Eitan Chatav
7 years ago
7cc86fb
remove P
Eitan Chatav
7 years ago
older commits
keys
esc to close
j k
move down, up
enter
open
esc
back, or up a level
1 2 3 4
readme, files, commits, refs
/
filter
y
copy the clone command
c
compare the chosen commit with another (or shift-click both)
?
show or hide this list