Skip to content

Latest commit

 

History

History
 
 

work-in-progress

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
exceptions-and-files
exceptions-and-files
 
 
Choice.gr
Choice.gr
 
 
Free.gr
Free.gr
 
 
Graph.gr
Graph.gr
 
 
Parse.gr
Parse.gr
 
 
PropositionalEquality.gr
PropositionalEquality.gr
 
 
PropositionalEqualityGen.gr
PropositionalEqualityGen.gr
 
 
README.md
README.md
 
 
State.gr
State.gr
 
 
badIndexingMatch.gr
badIndexingMatch.gr
 
 
badIndexingMatch.gr.output
badIndexingMatch.gr.output
 
 
call-by-value-analysis.gr
call-by-value-analysis.gr
 
 
case-shadowing.gr
case-shadowing.gr
 
 
coalgebra.gr
coalgebra.gr
 
 
database2.gr
database2.gr
 
 
dubList.gr
dubList.gr
 
 
existential.gr
existential.gr
 
 
existentialNat.gr
existentialNat.gr
 
 
exists.gr
exists.gr
 
 
fact.gr
fact.gr
 
 
filter.gr
filter.gr
 
 
hole4.gr
hole4.gr
 
 
implicitLeak.gr
implicitLeak.gr
 
 
intervalApproxIssue.gr
intervalApproxIssue.gr
 
 
josef.gr
josef.gr
 
 
lazy.gr
lazy.gr
 
 
order-of-equations.gr
order-of-equations.gr
 
 
polarity.gr
polarity.gr
 
 
popZeroes.gr
popZeroes.gr
 
 
positivity.gr
positivity.gr
 
 
promote-data-poly.gr
promote-data-poly.gr
 
 
ptrtest.gr
ptrtest.gr
 
 
rankN.gr
rankN.gr
 
 
refutable.gr
refutable.gr
 
 
scale.gr
scale.gr
 
 
security-and-linearity.gr
security-and-linearity.gr
 
 
security-reuse.gr
security-reuse.gr
 
 
topLevelSecurityViolation.gr
topLevelSecurityViolation.gr
 
 
undefined.gr
undefined.gr
 
 
usage-in-case-pat.gr
usage-in-case-pat.gr
 
 
vecLookupSlow.gr
vecLookupSlow.gr
 
 
vecx.gr
vecx.gr
 
 

README.md

The files in this folder do not currently work or document some ideas we are working on or programs for which we are improving support (maybe better error messages) in Granule but are targets for ongoing and future work.