search

RedPRL / cooltt

😎TT
http://www.redprl.org/
Apache License 2.0
217 stars 16 forks source link

🧊 Use forall_cof from Kado #362

Closed favonia closed 2 years ago

favonia commented 2 years ago

See RedPRL/kado#6.