msuperdock / vim-agda
Asynchronous type-checking for Agda 2.6.2.
☆21Updated 5 months ago
Related projects ⓘ
Alternatives and complementary repositories for vim-agda
- Session Types with Priority in Linear Haskell☆25Updated 4 months ago
- experimenting with unlifted classes via backpack☆36Updated 2 years ago
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- GRIN backend for Idris2☆33Updated 2 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆28Updated 3 years ago
- An interface for GHC type-checking plugins☆20Updated last week
- Idris port of Haskell's sop-core library☆33Updated last year
- Normalise GHC.TypeLits.Nat equations☆43Updated 4 months ago
- ☆18Updated 3 years ago
- A library for doing generic programming in Agda☆28Updated 3 years ago
- Where my everyday research happens☆53Updated 2 months ago
- Prototype implementations of systems based on setoid type theory☆64Updated 3 years ago
- Benchmarking tool for compile-time performance of Agda programs☆18Updated 2 years ago
- Generic functions for single-sorted first-order structural unification☆41Updated last week
- Let's rethink how we interact with Agda☆18Updated last year
- Compiler backend for generating Scheme code☆25Updated 11 months ago
- ☆23Updated last year
- An implementation of a Relaxed Radix Balanced Vector in Haskell.☆20Updated 2 months ago
- rewrite rules for type-level equalities☆62Updated 6 months ago
- higher-kinded data☆30Updated last year
- ☆35Updated 3 years ago
- Fine-grained lattice primitives for Haskell☆35Updated 3 months ago
- ☆30Updated 3 years ago
- Syntaxes with Binding, Their Programs, and Proofs☆23Updated last year
- Bit vectors: 8x less memory, up to 3500x faster than Vector Bool☆73Updated last month
- System F-omega normalization by hereditary substitution in Agda☆56Updated 5 years ago
- Staged push/pull fusion with typed Template Haskell☆57Updated 10 months ago
- Bidirectional Parsing. Work in Progress☆30Updated last month
- Basics of the dependently-typed functional language Agda ^_^☆38Updated 2 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆122Updated 3 months ago