search

CakeML / regression

Regression testing infrastructure for CakeML
https://cakeml.org/regression.cgi
GNU General Public License v3.0
3 stars 8 forks source link

Create a separate conf.sml file to keep all server settings #16

Closed agomezl closed 5 years ago

xrchz commented 5 years ago

I suggest calling the file config.sml and declaring a structure structure Config = struct ... inside it

xrchz commented 5 years ago

Was closed by d52a33e