Giters

mmn80 / idris-loader

Dynamic loading of Idris modules

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

idris-loader

Dynamic linking test

About

Dynamic loading of Idris modules

Languages

Language:Idris 61.6%Language:C 33.9%Language:Makefile 4.5%