A library for the next generation of LCF refiners, with support for dependent refinement—Long Live the Anti-Realist Struggle!
16
stars
1
forks
source link
Update for new sml-typed-abts and sml-telescopes lib versions #10
Closed
jonsterling closed 8 years ago