python (65.2k questions)

javascript (44.3k questions)

reactjs (22.7k questions)

java (20.8k questions)

c# (17.4k questions)

html (16.3k questions)

r (13.7k questions)

android (13k questions)

Questions - agda-stdlib

Agda Installation PLFA Configuration

I am trying to use the Programming Language Foundation with Agda plfa library, however the import does not appear to be working properly. I have cloned the repository and added the repository path to:...
test-img

John Fisher

agda

agda-mode

agda-stdlib

Votes: 0

Answers: 1

Latest Answer

module plfa.part1.Naturals where defines a module named plfa.part1.Naturals Did you mean to type module test where open import plfa.part1.Naturals instead?
test-img

gallais

Termination checking failed

I was trying to train on this kata about longest common subsequences of a list which I slightly modified so that it worked with my versions of agda and the standard library (Agda 2.6.2, stdlib 1.7) wh...
test-img

Junkyards

agda

agda-stdlib

Votes: 0

Answers: 1

Latest Answer

Try to avoid using with when dealing with termination. The termination checker is successful when your code is refactored as follows (note that I removed your first two definitions because they are ir...
test-img

MrO

Posts

Questions

Blogs

Jobs