A paper by David R. Christiansen has been moved.
The paper by David Raymond Christiansen referenced in this document is no longer available at the url [http://www.itu.dk/people/drc/pubs/dependent-type-providers.pdf] but has been moved to url [http://www.davidchristiansen.dk/pubs/dependent-type-providers.pdf].
commit83d9f72a0843a0a0564458b305562fb9248e72e6
authorXeFias <xefias@gmail.com>
dateWed 30 May 2018, 23:34 (8 years ago)
parent02f0ec3
docs/guides/type-providers-ffi.rst+1−1
@@ -3,7 +3,7 @@ Type Providers in Idris
33***********************
44
55`Type providers in Idris
6−<http://www.itu.dk/people/drc/pubs/dependent-type-providers.pdf>`__
6+<http://www.davidchristiansen.dk/pubs/dependent-type-providers.pdf>`__
77are simple enough, but there are a few caveats to using them that it
88would be worthwhile to go through the basic steps. We also go over
99foreign functions, because these will often be used with type