issues
search
jstolarek
/
slicer
Companion code for paper "Imperative Functional Programs that Explain their Work", Wilmer Ricciotti, Jan Stolarek, Roly Perera and James Cheney, ICFP 2017, Oxford, UK
http://dl.acm.org/citation.cfm?id=3110258
GNU General Public License v3.0
7
stars
0
forks
source link
Delete `Annot` module
#3
Closed
jstolarek
closed
7 years ago
jstolarek
commented
7 years ago
Things to delete:
Annot module
Primitives provided by that module: constructors in Primitives, parsing rules in Parser
monadic boilerplate used only in that module
Eva.hs-boot file
Things to delete: