issues
search
msp-strath
/
ask
being a particular fragment of Haskell, extended to a proof system
19
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
[ cabal ] for the ask project
#26
gallais
closed
1 month ago
0
prop was generating rules with scope errors; have patched some
#25
pigworker
closed
3 years ago
0
Sketchy
#24
pigworker
closed
3 years ago
0
Sketchy
#23
pigworker
closed
3 years ago
0
Sketchy
#22
pigworker
closed
3 years ago
0
add fixity fix and under infix to sketchy
#21
pigworker
closed
3 years ago
0
from does something vaguely sensible with equations
#20
pigworker
closed
3 years ago
0
better type errors
#19
pigworker
closed
3 years ago
0
tighter about checking inductively
#18
pigworker
closed
3 years ago
0
lexing gadget for Marx
#17
pigworker
closed
3 years ago
0
under
#16
pigworker
closed
3 years ago
0
added the radical case to unification
#15
pigworker
closed
3 years ago
0
dependency checking did too much computation for its own good
#14
pigworker
closed
3 years ago
0
catch match failure in weeg/bigg
#13
pigworker
closed
3 years ago
0
Sketchy
#12
pigworker
closed
3 years ago
0
detect dependency on unproven lemmas
#11
pigworker
closed
3 years ago
0
Sketchy
#10
pigworker
closed
3 years ago
0
Handle unification and constructor errors
#9
andrevidela
closed
3 years ago
0
Sketchy
#8
pigworker
closed
3 years ago
1
Typechecker
#7
pigworker
closed
3 years ago
0
Data Types and Inductive Programming
#6
pigworker
closed
3 years ago
3
Typechecker
#5
pigworker
closed
3 years ago
0
Sound and Fury Signifying Nothing
#4
pigworker
closed
3 years ago
3
Layout Style Police Hang Tough?
#3
pigworker
closed
3 years ago
2
Idea: `given` methods and `proven` proofs
#2
pigworker
closed
3 years ago
3
Nice Input Shame About The Output
#1
pigworker
closed
3 years ago
3