mroman42 / vitrea-prototype-1Links
[WIP] Optics via the profunctor representation theorem
☆20Updated 5 years ago
Alternatives and similar repositories for vitrea-prototype-1
Users that are interested in vitrea-prototype-1 are comparing it to the libraries listed below
Sorting:
- Bidirectional programming in Haskell with monadic profunctors☆46Updated 3 years ago
- Optics via the profunctor representation theorem☆24Updated 8 months ago
- Provides free functors that are adjoint to functors that forget class constraints.☆29Updated 11 months ago
- Proofs of the number of inhabitants of polymorphic functions☆23Updated 7 years ago
- Simple adjunctions☆45Updated 4 months ago
- Free Algebras in Haskell☆37Updated 11 months ago
- Basics of the dependently-typed functional language Agda ^_^☆39Updated 3 years ago
- Codo notation for programming with comonads in Haskell☆25Updated 4 years ago
- Where my everyday research happens☆54Updated last month
- An experiment in functional interface design☆24Updated 8 years ago
- Work on type class deriving with elaboration reflection☆32Updated 6 years ago
- A set of utilities for using indexed types including containers, equality, and comparison.☆60Updated last month
- Haskell embedding of PlusCal☆61Updated 3 years ago
- Fine-grained lattice primitives for Haskell☆37Updated last month
- Functional Pearl: Certified Binary Search in a Read-Only Array☆29Updated 4 years ago
- A total recursion scheme library for Dhall☆66Updated 2 months ago
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆83Updated 4 years ago
- Adding linear types to Haskell in the style of Linear/Non-Linear (LNL) logic☆35Updated 7 years ago
- Profunctor optics for the endofunctor category on Hask☆27Updated 4 years ago
- Resources for the aspiring optician☆42Updated 5 years ago
- a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.☆21Updated last year
- System F implemented in Haskell☆24Updated 13 years ago
- Dependently typed elimination functions using singletons☆28Updated 7 months ago
- Sort any Traversable container☆41Updated 3 years ago
- Smash products, Wedge products, and other Pointed stuff☆35Updated 3 years ago
- rewrite rules for type-level equalities☆62Updated last year
- Tactic Metaprogramming in Haskell☆56Updated 6 years ago
- A small package that demonstrates how to use LiquidHaskell as a GHC plugin☆24Updated 11 months ago
- Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring☆27Updated 4 years ago
- do-notation for Category and "Arrow without arr"☆63Updated 8 years ago