Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Directory listing for data-structure-inferrer-1.0 source tarball
data-structure-inferrer-1.0/
.gitignore
1.c
Advice.hs
AllStructures.hs
Analyzer.hs
CompileDriver.hs
LICENSE
Main.hs
Makefile
README.md
Recommend.hs
Setup.hs
Tests.hs
data-structure-inferrer.cabal
C/
Analyzer.hs
Functions.hs
tests/
d1_delmax_d2_max.c
d1_ins_upd_delmax_max_d2_ins_delmax.c
ins_max.c
ins_sea_upd_max.c
rec_ins_upd_max.c
Defs/
Common.hs
Structures.hs
Util.hs
Il/
AST.hs
Analyzer.hs
Lexer.x
Parser.y
Typechecker.hs
tests/
d1_delmax_d2_max.il
d1_ins_upd_delmax_max_d2_ins_delmax.il
ins_max.il
ins_sea_upd_max.il
rec_ins_upd_max.il
dsimp/
ds.h
linkedlist.c