msuperdock / vim-agda
Asynchronous type-checking for Agda 2.6.2.
☆21Updated 6 months ago
Related projects ⓘ
Alternatives and complementary repositories for vim-agda
- GRIN backend for Idris2☆33Updated 2 years ago
- Replib: generic programming & Unbound: generic treatment of binders☆44Updated 2 years ago
- Session Types with Priority in Linear Haskell☆25Updated 5 months ago
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- System F-omega normalization by hereditary substitution in Agda☆56Updated 5 years ago
- A library for doing generic programming in Agda☆28Updated 3 years ago
- Where my everyday research happens☆53Updated last week
- Self-contained repository for the eponymous paper☆29Updated 5 years ago
- Prototype implementations of systems based on setoid type theory☆64Updated 3 years ago
- A tutorial on how Agda infers things☆36Updated 3 years ago
- Basics of the dependently-typed functional language Agda ^_^☆38Updated 2 years ago
- Low-overhead effect management for concrete monads☆37Updated 2 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆122Updated 3 months ago
- Generic functions for single-sorted first-order structural unification☆41Updated this week
- Idris port of Haskell's sop-core library☆33Updated last year
- Language Server for Agda☆102Updated 2 weeks ago
- Bit vectors: 8x less memory, up to 3500x faster than Vector Bool☆73Updated last month
- ☆21Updated 4 months ago
- GRIN backend for Idris☆51Updated 4 years ago
- Correctness of normalization-by-evaluation for STLC☆21Updated 5 years ago
- Agda formalisation of second-order abstract syntax☆52Updated 2 years ago
- Implementation for ICFP 2020 paper☆49Updated 3 years ago
- Staged push/pull fusion with typed Template Haskell☆57Updated 11 months ago
- Mtac in Agda☆28Updated 3 years ago
- Let's rethink how we interact with Agda☆18Updated 2 years ago
- Fine-grained lattice primitives for Haskell☆35Updated 3 months ago
- A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.☆82Updated 3 years ago
- A fast, easy-to-use ring solver for agda with step-by-step solutions☆38Updated 2 years ago
- apkg - package manager for Agda☆38Updated 3 years ago
- This aims to be the most pretentious implementation of stlc in existence☆60Updated 2 years ago