issues
search
tsoding
/
Noq
Simple expression transformer that is not Coq.
MIT License
253
stars
24
forks
source link
zip two iterators instead of a for loop
#17
Open
zahash
opened
2 years ago