GitHub - gonzaw/extensible-records: Extensible records for Idris - discu.eu

Reddit

Wrote a library for extensible records in Idris https://github.com/gonzaw/extensible-records 5 comments 25/9/2017 idris

Linked pages

Semantic Versioning 2.0.0 | Semantic Versioning http://semver.org/ 343 comments
The MIT License | Open Source Initiative https://opensource.org/licenses/MIT 15 comments
HList: Heterogeneous lists http://hackage.haskell.org/package/HList 9 comments

Related searches:

Search whole site: site:github.com

Search title: GitHub - gonzaw/extensible-records: Extensible records for Idris

See how to search.

Submit link to: