GitHub repository: razvan-flavius-panda/LagdaMdToLagda
Primary language: Haskell
Created: 2020-05-31T00:09:49Z
Description: Convert file content from `.lagda.md` to `.lagda` format