TY  - RPRT
TI  - Practical Idiomatic Considerations for Checkable Meta-Logic in Experimental Functional Programming
AU  - Baltasar Trancón y Widemann
AU  - Markus Lepper
PY  - 2020
UR  - https://arxiv.org/abs/2008.12716
ID  - 2008.12716
ER  -