3 Commits (c114be7200fa0b5dbe4ab28f2032bd54c0cb8b97)

Autor SHA1 Mensagem Data
  Lucas Stadler 3bc4b5be8d macros for convenience and reification. 12 anos atrás
  Lucas Stadler 794bfae8af interleaved streams and expand/run utilities. 12 anos atrás
  Lucas Stadler 8c28359d39 add code from µKanren paper. 12 anos atrás