suzanne.soy/xlist
1
0
Fork 0
Code Issues Pull Requests 1 Actions Packages Projects Releases Wiki Activity
46 Commits 2 Branches 0 Tags 98 KiB
main
Commit Graph

4 Commits

Author SHA1 Message Date
Georges Dupéron
ba76a5cfc7 Fixed typo, removed debugging output 2016-09-29 18:01:06 +02:00
Georges Dupéron
7465aead4c Fixed {~^ power:nat} for the match expander (the . rest was missing) 2016-09-29 17:21:30 +02:00
Georges Dupéron
c7c2549695 Fixed ^ {once} for the match expander 2016-09-29 16:28:18 +02:00
Georges Dupéron
b672228539 Documented split-xlist, improved prcision of inference for fixed-length and bounded-length sublists 2016-09-25 15:53:21 +02:00