Issues
- 0
Remove use of `head` in `check`
#6 opened by nicodelpiano - 0
Put library inside Control
#15 opened by nicodelpiano - 0
Better documentation
#16 opened by nicodelpiano - 0
Tagged property tests
#7 opened by nicodelpiano - 0
Refactor code
#8 opened by nicodelpiano - 0
Support integer ranges
#9 opened by nicodelpiano - 0
Fix unit tests
#13 opened by nicodelpiano - 1
Redundant/NotRedundant
#12 opened by paf31 - 0
Add README
#2 opened by paf31 - 13
- 1
Unit tests
#10 opened by paf31 - 1
Add example using STLC+Nats code
#3 opened by paf31