Issues
- 6
Repository has bitrotted?
#87 opened by nmsmith - 0
Dyna syntax clarifications
#86 opened by kfk - 3
- 5
- 4
How does it scale?
#84 opened by JeffreyBenjaminBrown - 3
Builds but won't run: "No module named IPython.frontend.terminal.embed"
#82 opened by JeffreyBenjaminBrown - 7
Build problems
#81 opened by stuhlmueller - 3
Build fails with `src/Dyna/Analysis/Mode/Execution/NamedInst.hs:257:37: Couldn't match type ‘b’ with ‘forall i_. InstF f1 i_’`
#79 opened by pyetras - 3
- 2
OPCase proposal
#78 opened by nwf - 10
true and false shouldn't be parsed as functors
#49 opened by jeisner - 2
Syntax error in input breaks Python REPL
#71 opened by kosiakk - 1
Deprecation warning from ipython
#76 opened by nwf - 1
fresh build errors
#75 opened by tias - 1
make failed in Ubuntu 13.10 Saucy Salamander: Not in scope: type constructor or class `Overloading'
#74 opened by dissipate - 0
- 3
bad parse for [3 | &foo]
#65 opened by jeisner - 2
- 10
reorganize top-level directory
#69 opened by jeisner - 0
Keeping documentation up-to-date
#58 opened by timvieira - 13
allow Dyna to report its own version
#62 opened by jeisner - 1
kill "is"? or turn it around?
#60 opened by jeisner - 0
garbage collection
#68 opened by jeisner - 1
stale backchaining memos when new rules are added
#66 opened by jeisner - 1
a student reports "many crashes"
#67 opened by jeisner - 5
special color for user input in REPL
#64 opened by jeisner - 5
- 5
argument of with_key doesn't parse correctly
#53 opened by jeisner - 2
can't retract wrong aggregator
#61 opened by jeisner - 13
- 2
lack of convergence around cycles
#55 opened by jeisner - 0
Subscriptions
#59 opened by timvieira - 4
errors should be reported as part of "Changes"
#51 opened by jeisner - 3
reduce startup time?
#44 opened by jeisner - 6
- 0
- 2
- 0
$key can't be traced
#54 opened by jeisner - 1
"whynot" tracing
#50 opened by jeisner - 6
weird errors in forward-backward execution
#47 opened by jeisner - 7
Python's Boolean, 0, and 1 are interchangeable
#48 opened by timvieira - 11
implement gensyms
#43 opened by jeisner - 2
implicit :- aggregator (stating facts)
#46 opened by jeisner - 2
mysterious syntax error with !=
#45 opened by jeisner - 6
allow multiple .dyna files on command line
#40 opened by jeisner - 2
parser crashes on wordgraph example
#41 opened by jeisner - 2
crash log not being copied correctly?
#42 opened by jeisner - 0
implement prefix aggregators
#39 opened by jeisner - 4
- 0
destructuring definitions
#37 opened by jeisner