issues
search
msp-strath
/
ask
being a particular fragment of Haskell, extended to a proof system
19
stars
1
forks
source link
tighter about checking inductively
#18
Closed
pigworker
closed
3 years ago