idris
Idris is a general purpose language with full dependent types. It is compiled, with eager evaluation. Dependent types allow types to be pred
- Category
- Haskell packages
Official docs outline
idris-lang.orgExtra Credit builds an outline of idris's docs the first time your work uses it. Until then, start at the official documentation.
More in Haskell packages
All 1,000- psqueues The psqueues package provides Priority Search Queues in three different flavors. OrdPSQ k p v, which uses the Ord k instance to provide fas
- gtk2hs-buildtools
- clash-ghc Clash is a functional hardware description language that borrows both its syntax and semantics from the functional programming language Hask
- graphviz This library provides bindings for the Dot language used by the Graphviz (http://graphviz.org/) suite of programs for visualising graphs, as
- fgl
- heist Heist is a powerful template system that supports both HTML5 and XML. Some of Heist's features are: Designer-friendly HTML5 (or XML) syntax
- gitit Gitit is a wiki backed by a git, darcs, or mercurial filestore. Pages and uploaded files can be modified either directly via the VCS's comm
- bytes Sharing code for serialization between binary and cereal.
- ghc-lib-parser-ex Please see the README on GitHub at https://github.com/shayne-fletcher/ghc-lib-parser-ex#readme
- test-framework-hunit
- MemoTrie
- logict Adapted from the paper Backtracking, Interleaving, and Terminating Monad Transformers by Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman