Giters

wyn / incremental

synchronous clocked dataflow in Idris - WIP

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

incremental

synchronous clocked dataflow in Idris - WIP

About

synchronous clocked dataflow in Idris - WIP

License:MIT License

Languages

Language:Idris 100.0%