summaryrefslogtreecommitdiff
path: root/monkey
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@araneo.org>2014-12-31 16:44:46 +0100
committerAleš Smodiš <aless@guru.si>2015-08-11 14:26:01 +0200
commit79527522a5c53e57fd15589d7cc12946a8372afb (patch)
tree77cdd0a118740c6c84ebd0a9212a5d09158f85be /monkey
parent164cf022747b06d1f9058f4ff3729098e4412310 (diff)
Delegate testing to a Prolog server
... which obsoletes *a lot* of effort in making the testing procedure more robust in the past two years. Oh well. It seems to be the sanest way of coping with more than one simultaneous user (who could have predicted this use case?). The new way involves a PEngine server, and it seems to work quite well. Remember Knuth: premature optimization (as in ignoring possible solutions because they _might_ be to slow) is stupid. TODO: - library loading (again) - use of previous solution (again) - fix issues when converting non-ground terms to json Side note, constructivism works: in the past few days I have reached a much better but fundamentally ineffable intuition about Prolog, more so than in the past two years teaching it. So, fuck ITS and rather fix the schools by giving students something meaningful to do. Sigh.
Diffstat (limited to 'monkey')
0 files changed, 0 insertions, 0 deletions