#

type-providers

Here are 2 public repositories matching this topic...

gallais / idris-tmustache

Total Logic-Less Templating Library

dependent-types template-engine type-providers

Updated Jan 25, 2018
Idris

janschultecom / kolgut-api

Schema-safe http api using Idris+Rust

rust http dependent-types swagger idris type-providers typelevel-programming

Updated Jan 12, 2019
Idris

Improve this page

Add a description, image, and links to the type-providers topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the type-providers topic, visit your repo's landing page and select "manage topics."