git.iko.soy/Idris-dev
on ace080c help sign in
history ofsrc/Util/DynamicLinker.hs
all commits
ace080cFirst check for exact filename when dynamically loading C libDavid Christiansen 5a81f99Implement dynamic linking on WindowsNiklas Larsson 90f661bMake dynamic library extension platform-dependentDavid Christiansen 054c04eFind foreign funcs in libsDavid Christiansen 3262127Dynamically load C libraries in REPLDavid Christiansen