Permalink
Failed to load latest commit information.
.gitignore Add Racket package info and module wrappers Sep 25, 2016
==-tests.scm initial import Jan 15, 2015
LICENSE Initial commit Jan 15, 2015
README.md Adding Guile module for GNU Guile support Nov 18, 2017
absento-closure-tests.scm initial import Jan 15, 2015
absento-tests.scm Attributed variable based constraints Jun 17, 2015
chez.scm add chez module wrapper for compilation with unsafe optimizations Jan 9, 2018
disequality-tests.scm initial import Jan 15, 2015
full-interp.rkt Add Racket package info and module wrappers Sep 25, 2016
full-interp.scm Add fixme to faster-mk Mar 19, 2018
info.rkt Add Racket package info and module wrappers Sep 25, 2016
main.rkt change from racket to racket/base, fix requires and provides Mar 21, 2017
matche.rkt matche.rkt Jan 16, 2015
matche.scm matche.rkt Jan 16, 2015
mk-guile.scm Adding Guile module for GNU Guile support Nov 18, 2017
mk-vicare.scm Attributed variable based constraints Jun 17, 2015
mk.rkt change from racket to racket/base, fix requires and provides Mar 21, 2017
mk.scm Move check for ground atom argument to absento to outer lambda Feb 5, 2018
numbero-tests.scm Racket wrapper Jan 15, 2015
numbers.rkt Add Racket package info and module wrappers Sep 25, 2016
numbers.scm Add appendo to numbers.scm Jun 26, 2015
simple-interp.rkt Add Racket package info and module wrappers Sep 25, 2016
simple-interp.scm cleaned up simple interpreter.scm Jun 5, 2016
symbolo-numbero-tests.scm Racket wrapper Jan 15, 2015
symbolo-tests.scm Racket wrapper Jan 15, 2015
test-all.rktl Add Racket package info and module wrappers Sep 25, 2016
test-all.scm cleaned up simple interpreter.scm Jun 5, 2016
test-check.scm Add Racket package info and module wrappers Sep 25, 2016
test-guile.scm Adding Guile module for GNU Guile support Nov 18, 2017
test-infer.scm initial import Jan 15, 2015
test-numbers.scm initial import Jan 15, 2015
test-quines.scm initial import Jan 15, 2015
test-simple-interp.scm cleaned up simple interpreter.scm Jun 5, 2016