Jun 21, 2016

Check ou this paper

http://publications.lib.chalmers.se/records/fulltext/234939/...

Jun 21, 2016

See http://publications.lib.chalmers.se/records/fulltext/234939/... (suggesting Idris for this use case)