dabrady/LittleLogicLangs dabrady/LittleLogicLangs

  • This repository has been archived on 19/Feb/2020
  • Stars
    star
    13
  • Rank 1,483,658 (Top 30 %)
  • Language
    Racket
  • Created over 9 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
dabrady/LittleLogicLangs
github

dabrady

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Project files for my paper, "Little Logic Languages for Relational Programming"

More Repositories

1

syndicate

a simple implementation of the POSSE content publishing model
Python
5
star
2

lua-utils

A collection of Lua and Hammerspoon utilities & extensions
Lua
2
star