Files

.github
CHANGELOG
README
notes
src
- Algebra
- Axiom
- Codata
- Data
  - AVL
  - Bool
  - Char
  - Container
  - Digit
  - Empty
  - Fin
  - Float
  - Graph
  - Integer
  - List
    - Extrema
    - Fresh
    - Kleene
    - Membership
    - Nary
    - NonEmpty
    - Relation
      - Binary
      - Ternary
      - Unary
        All
        AllPairs
        Any
        Enumerates
        Setoid
        Setoid.agda
        First
        Grouped
        Linked
        Sorted
        Unique
        All.agda
        AllPairs.agda
        Any.agda
        First.agda
        Grouped.agda
        Linked.agda
    - Sort
    - Zipper
    - Base.agda
    - Countdown.agda
    - Effectful.agda
    - Extrema.agda
    - Fresh.agda
    - Instances.agda
    - Kleene.agda
    - Literals.agda
    - NonEmpty.agda
    - Properties.agda
    - Reflection.agda
    - Reverse.agda
    - Solver.agda
    - Sort.agda
    - Zipper.agda
  - Maybe
  - Nat
  - Product
  - Rational
  - Refinement
  - Sign
  - Star
  - String
  - Sum
  - These
  - Tree
  - Trie
  - Unit
  - Universe
  - Vec
  - W
  - Word
  - AVL.agda
  - Bool.agda
  - Char.agda
  - Container.agda
  - Default.agda
  - DifferenceList.agda
  - DifferenceNat.agda
  - DifferenceVec.agda
  - Digit.agda
  - Empty.agda
  - Erased.agda
  - Fin.agda
  - Float.agda
  - Integer.agda
  - Irrelevant.agda
  - List.agda
  - Maybe.agda
  - Nat.agda
  - Product.agda
  - Rational.agda
  - Record.agda
  - Refinement.agda
  - Sign.agda
  - String.agda
  - Sum.agda
  - These.agda
  - Trie.agda
  - Unit.agda
  - Universe.agda
  - Vec.agda
  - W.agda
  - Word.agda
  - Wrap.agda
- Debug
- Effect
- Foreign
- Function
- IO
- Induction
- Level
- Reflection
- Relation
- System
- Tactic
- Test
- Text
- Algebra.agda
- Function.agda
- IO.agda
- Induction.agda
- Level.agda
- Reflection.agda
- Size.agda
- Strict.agda
tests
travis
.boring
.gitattributes
.gitignore
.mailmap
AllNonAsciiChars.hs
CHANGELOG.md
GNUmakefile
GenerateEverything.hs
HACKING.md
Header
LICENCE
README.agda
README.md
Setup.hs
agda-stdlib-utils.cabal
fix-whitespace.yaml
graph.sh
publish-listings.sh
stack-8.0.2.yaml
stack-8.10.5.yaml
stack-8.10.7.yaml
stack-8.2.2.yaml
stack-8.4.4.yaml
stack-8.6.5.yaml
stack-8.8.2.yaml
stack-8.8.3.yaml
stack-8.8.4.yaml
stack-9.0.2.yaml
standard-library.agda-lib

Enumerates

This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.

jamesmckinna

removed dependencies on Data.Fin.Base

Sep 19, 2022

0c10ea2 · Sep 19, 2022

History

Name	Name	Last commit message	Last commit date
parent directory ..
Setoid	Setoid	removed dependencies on Data.Fin.Base	Sep 19, 2022
Setoid.agda	Setoid.agda	Renamed new `Complete` list predicate to `IsEnumeration` (agda#1505 )	May 27, 2021

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Files

Enumerates

Enumerates

Files

Enumerates

Directory actions

More options

Directory actions

More options

Latest commit

History

Enumerates

Folders and files

parent directory