Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / michaelballantyne/hosted-minikanren issues and pull requests

#13 - For students, it may make sense to always require explicit boundaries

Issue - State: open - Opened by michaelballantyne 26 days ago

#12 - Small spec compiler fix and documentation improvements

Pull Request - State: closed - Opened by jasonhemann 4 months ago

#11 - Skip occur checks

Pull Request - State: closed - Opened by jasonhemann about 2 years ago - 1 comment

#10 - Add `ir-rel` to IR forms

Pull Request - State: closed - Opened by gamburgm over 2 years ago

#9 - Script to create passes

Pull Request - State: closed - Opened by gamburgm over 3 years ago

#8 - Remove unused logic variables

Pull Request - State: closed - Opened by gamburgm over 3 years ago

#7 - WIP Test workflow

Pull Request - State: closed - Opened by gamburgm over 3 years ago

#6 - Move compiler passes out of `compile.rkt`

Pull Request - State: closed - Opened by gamburgm over 3 years ago

#5 - Reorg

Pull Request - State: closed - Opened by jasonhemann over 3 years ago - 3 comments

#4 - Unfortunately imprecise syntax error reporting

Issue - State: closed - Opened by jasonhemann over 3 years ago - 4 comments

#3 - First compiler phase: conjunctions of unifications

Pull Request - State: closed - Opened by gamburgm over 3 years ago

#2 - stringo constraint, plus raw boolean and string terms

Pull Request - State: closed - Opened by jasonhemann over 3 years ago - 1 comment

#1 - slight usability changes + extending functionality

Pull Request - State: closed - Opened by SWDev2020 over 3 years ago