nyusemantics LambdaCalculatorPublic issues

nyusemantics / LambdaCalculatorPublic

16 stars 3 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Answer window sometimes cuts off responses

#33 i-loder-matthew opened 9 months ago
0
Implication arrow is not registered when typing "->" on app version 2.6.0 for mac.

#32 JCA-UPR opened 1 year ago
2
Can't install on Mac with M1 chip and Ventura

#31 dwbcampbell closed 1 year ago
3
Problems with bracketing in student edition version 2.6.0 affeting problem set on event semantics

#30 champoll opened 1 year ago
0
Issue with checking types of lambda expressions with variable "v1"

#29 eecoppock opened 2 years ago
1
Bracketing issue with multiple conjuncts

#28 k-ghoshal closed 2 years ago
1
Feature request: allow for explicit expression of sorts of types

#27 ghschaden opened 3 years ago
2
bro

#26 jcote closed 3 years ago
0
Bracketing issue in Student Edition

#25 aualsop closed 2 years ago
1
Pressing Enter to go to the next exercise skips an exercise, at least on Windows

#24 champoll opened 4 years ago
0
v2.4.0 Student edition: program doesn't accept student input containing variables generated by traces [contains workaround]

#23 champoll closed 3 years ago
1
Interactive Exercise Solver unrecoverable once closed

#22 eecoppock opened 4 years ago
0
Request: allow user to specify direction of rule application

#21 aualsop opened 4 years ago
0
* binds more tightly than implicit comma when specifying types

#20 aualsop closed 2 years ago
1
Lambda abstraction over typed traces should create variables whose symbol transparently reflects the appropriate type

#19 champoll opened 4 years ago
0
Make set-theoretic and mereological operators polymorphic

#18 champoll opened 4 years ago
0
Request: a “create fragment” interface

#17 champoll opened 4 years ago
0
Request: allowing students to build their own syntax trees as part of their solutions to a set of exercises

#16 champoll opened 4 years ago
0
Request: add support for function composition as a composition rule

#15 champoll opened 4 years ago
0
Request: Undo and Redo in the text bar

#14 gtabach opened 5 years ago
0
Request: rename variables when a lexical item is used multiple times

#13 aualsop opened 5 years ago
0
Synonymous variables interleaved when using polymorphic functions

#12 aualsop opened 5 years ago
1
highlight matching parens and brackets

#11 champoll closed 2 years ago
1
Event Identification Rule

#10 halers opened 6 years ago
0
Product types

#9 MatthewGotham opened 8 years ago
2
Font unreadable on hiDPI display

#8 patrl opened 8 years ago
0
Predicate Modification brackets

#7 eecoppock opened 8 years ago
3
Question mark symbol in example3.txt causes opening to fail

#6 L3viathan opened 9 years ago
0
Can't apply functions in non-final positions of arglists

#5 dylnb opened 10 years ago
0
Combining superlatives with gradable predicates

#4 eecoppock opened 10 years ago
0
Feature request: defining abbreviations

#3 eecoppock opened 10 years ago
0
Display issue when going back to a previous exercise

#2 eecoppock opened 10 years ago
0
expressions with set theory notation not assigned a type

#1 eecoppock opened 10 years ago
1