andreasabel / agda2lagdaLinks

Simple conversion from Agda text to literate Agda text.
14Updated 2 months ago

Alternatives and similar repositories for agda2lagda

Users that are interested in agda2lagda are comparing it to the libraries listed below

Sorting: