Newsletter
Submit
Categories
Login

Subscribe
Submit
Categories
About
Login

Awesome Haskell
All Categories
Current: Dependent Types

Haskell Dependent Types

Sub categories
agda

10

8

6

4

2

3.1

-

agda-snippets-hakyll

1 Dependent Types package

agda-snippets-hakyll

3.1 - Haskell

Literate Agda support using agda-snippets, for Hakyll pages.

Datadog - Monitor and correlate metrics, request traces, and logs in one platform. Try it free.

More from our partner

SaaSHub - The independent software marketplace. Find the best software and alternatives.

More from our team

Add another 'Dependent Types' Package

About
Your go-to Haskell Toolbox. Our goal is to help you find the software and libraries you need. Made by developers for developers. The collection of libraries and resources is based on the Awesome Haskell List and direct contributions here. To add a new package, please, check the contribute section

Site Links: Categories Tags About

More from LibHunt

Android
C++
Crystal
Elixir
Go
iOS
Java

JavaScript
Kotlin
.NET
Node.js
PHP
Python
React

Ruby
Rust
Scala
Self Hosted
Swift
SysAdmin

Awesome Haskell is part of the LibHunt network. Terms. Privacy Policy.