Purecheck -- Sources and Examples
2020-09-06

In a few days here the source text and example files will appear, related to the WFLP2020 talk

„Practical Idiomatic Considerations for Checkable Meta-Logic in Experimental Functional Programming“

by Baltasar Trancón y Widemann and Markus Lepper

made    2020-09-06_08h18   by    lepper   on    linux-q699.site         
produced with eu.bandm.metatools.d2d    and    XSLT