Reasonable Agda is correct Haskell: writing verified Haskell using agda2hs.

Jesper Cockx Orestis Melkonian Lucas Escot James Chapman Ulf Norell

Published in: Haskell (2022)

Keyphrases

functional programming
programming language
plagiarism detection
functional language
general purpose
concurrent programming
information retrieval
learning algorithm
decision making
high quality
open source
complex objects
object oriented programming