git.iko.soy/Idris-dev
on 0875310 help sign in
Idris-dev/test/ffi005
5 files
../ Postulate.idrControl whether provider decls accept postulates Postulate2.idrControl whether provider decls accept postulates Postulate3.idrControl whether provider decls accept postulates expectedControl whether provider decls accept postulates runControl whether provider decls accept postulates