org-agda-mode icon indicating copy to clipboard operation
org-agda-mode copied to clipboard
verified publisher icon alhassy

Compare & Contrast :: Other Possible Routes

Open alhassy opened this issue 5 years ago • 0 comments

Here are two other possibly routes for literate programming with agda:

  • https://jesper.sikanda.be/posts/literate-agda.html
  • https://github.com/phillord/lentic

alhassy avatar Apr 25 '20 10:04 alhassy