/incremental

synchronous clocked dataflow in Idris - WIP

Primary LanguageIdrisMIT LicenseMIT

incremental

synchronous clocked dataflow in Idris - WIP