agda2scala

Examples

are in ./examples

Working with source code

• Starting continuous compilation loop

ghcid

• Build

cabal build all

• Run

cabal run -- agda2scala --help
cabal run -- agda2scala ./examples/adts.agda

• Run tests

cabal test all

Resources

• Documentation for Agda as Haskell library on Hackage including
  • docs for Agda.Compiler.Backend
  • build-in JS backend
  • build-in Haskell backend
• external project with Agda backends
  • omelkonian/agda-minimal-backend
  • jespercockx/agda2scheme
  • omelkonian/agda2train
  • agda/agda2hs, (publication)
  • HectorPeeters/agda2rust, (publication)
  • lemastero/agda2rust