Agdalache
0.1.0
  • Getting started
  • Structure
    • Project root
    • Backend
      • Project files
      • The All.agda file
      • Writing business logic in Agda
      • Mutable app states
      • Backend API
      • Main functions
      • Tools
      • Testing
      • Agda tests
      • QuickCheck tests
    • Frontend
    • Futures
  • Compilation
  • Troubleshooting
  • Contributions
Agdalache
  • Structure
  • Backend
  • View page source

Backend

  • Project files
    • Cabal
    • CMake
    • Agda
  • The All.agda file
  • Writing business logic in Agda
    • Using Haskell functions
  • Mutable app states
    • AppState
    • StablePtrs
  • Backend API
    • Exporting from Agda
    • C headers
  • Main functions
  • Tools
  • Testing
  • Agda tests
  • QuickCheck tests
Previous Next

© Copyright 2024, Viktor Csimma.

Built with Sphinx using a theme provided by Read the Docs.