1430db5 Trying out some type checking with errors
Trying out some type checking with errors
~ashton314 pushed to ~ashton314/microKanren git
New ticket tracker added
New mailing list added
New git repository added