search

yallop / effects-bibliography

A collaborative bibliography of work related to the theory and practice of computational effects
951 stars 80 forks source link

F* #33

Closed danelahman closed 6 years ago

yallop commented 6 years ago

Thanks!