Home Posts Publications My setup Contact About

Posts tagged with "eDSL"

Isomorphism and Embedding
Haskell Library Demonstrating Dependent Types in eDSL

Unless otherwise stated, this work by Marko Dimjašević is licensed under the Creative Commons Attribution-ShareAlike 4.0 International license.

Dimjašević Family | Site generated by Hakyll