search

RedPRL / sml-dependent-lcf

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 libraries. #28

Closed favonia closed 7 years ago

favonia commented 7 years ago

@jonsterling So I removed the Agda development as discussed in #3.