git.iko.soy/Idris-dev
on bf4e535 help sign in
history oftest/ffi005/Postulate.idr
all commits
e1f139aLibrary rearrangement done.David Raymond Christiansen edb9980Removed '_|_' as a built in declaration and renamed it to 'Void', 'FalseElim' now 'VoidElim' to match upAhmad Salim Al-Sibahi e5bc47eDistinguish postulate providers and type providers at use siteDavid Raymond Christiansen 0875310Control whether provider decls accept postulatesDavid Raymond Christiansen 5365977Postulate providersDavid Raymond Christiansen