Skip to content
Idris2

Add fromTTImp, fromName, and fromDecls for custom TTImp, Name, and Decls literals #3172

Sign in to view logs

Add fromTTImp, fromName, and fromDecls for custom TTImp, Name, and Decls literals

Add fromTTImp, fromName, and fromDecls for custom TTImp, Name, and Decls literals #3172

The logs for this run have expired and are no longer available.