search

idris-lang / Idris2

A purely functional programming language with first class types
https://idris-lang.org/
Other
2.46k stars 369 forks source link

Add fromTTImp, fromName, and fromDecls #3322

Open madman-bob opened 2 weeks ago

madman-bob commented 2 weeks ago

This follows on from #2930. Now that we've had a version bump, we can bind fromTTImp, fromName, and fromDecls in base.