-
Notifications
You must be signed in to change notification settings - Fork 1
List of Agda Kata to Update
Alexey Solovyev edited this page Jun 11, 2022
·
5 revisions
Agda 2.6.2 was added, the following are not compatible:
- A map from a truncated set to a set
- A special set of matrices with unique representation
- Cardinality of N and N x N
- Coinduction Proof Principle
- Exploring ways to evaluate and compile a trivial language
- Factorial divisibility a.k.a. binomial coefficient
- Finally tagless interpreter
- Heterogeneous Equality on sized vectors
- I~ transport lemmas so right, proving the wrong thing
- Inductive types are initial algebras
- Join until impossible
- Just Be Injective
- Kacarott's path factorization
- Left, left! Right, right! Comp! Symmetric! Q!E!D!
- Magic is Commutative
- Maybe Injective
- Modular operations on Finite data type
- Pattern in the mirror and bisimulation for real
- Program Verification #3: Tail-recursive sum
- Program Verification #4: Exponentiation by squaring
- Program Verification #7: Longest Common Subsequence
- Reach the size that lies across this new divide
- Remember all the guardedness and termination, and let it sized
- Simply typed lambda calculus type checker
- String formatting, type-safely
- Two paths in the forest
- Typeclass is garbage
- Uneval your Agda expression
- Verified list maximum
- Verified maximum subarray sum
- W-types
- Agda Kata that require rank adjustment
- List of Possible Duplicate Kata
- List of kata that are candidates to retirement
- List of Kata with font Tag in Description (possibly broken)
- Potentially Plagiarized Kata
- Tags and topics to assign to kata
- List of Agda Kata to Update
- List of C Kata to Update
- List of C++ Kata to Update
- List of COBOL Kata to Update
- List of Coq Kata to Update
- List of Crystal Kata to Update
- List of C# Kata to Update
- List of Dart Kata to Update
- List of Elixir Kata to Update
- List of Go Kata to Update
- List of Haskell Kata to Update
- List of Java Kata to Update
- List of JavaScript Kata to Update
- List of Kotlin Kata to Update
- List of Lean Kata to Update
- List of Nim Kata to Update
- List of PHP Kata to Update
- List of Python Kata to Update
- List of Racket Kata to Update
- List of Ruby Kata to Update
- List of Rust Kata to Update
- List of Scala Kata to Update
- List of Solidity Kata to Update
- List of Swift Kata to Update
- List of TypeScript Kata to Update