Skip to content
BranchesTags

Latest commit

 

History

5 Commits

Folders and files

NameName
Last commit message
Last commit date
ResModels
ResModels
 
 
API_model.hs
API_model.hs
 
 
AnnotGen.hs
AnnotGen.hs
 
 
Closure.hs
Closure.hs
 
 
Conditionals.hs
Conditionals.hs
 
 
ConstGen.hs
ConstGen.hs
 
 
Debugging.hs
Debugging.hs
 
 
Extraction.hs
Extraction.hs
 
 
JST0P_constrain.hs
JST0P_constrain.hs
 
 
JST0P_context.hs
JST0P_context.hs
 
 
JST0P_solution.hs
JST0P_solution.hs
 
 
JST0P_types.hs
JST0P_types.hs
 
 
JST0_ParseTest.hs
JST0_ParseTest.hs
 
 
JST0_constrain.hs
JST0_constrain.hs
 
 
JST0_context.hs
JST0_context.hs
 
 
JST0_solution.hs
JST0_solution.hs
 
 
JST0_type_aux.hs
JST0_type_aux.hs
 
 
JST0_types.hs
JST0_types.hs
 
 
Maps.hs
Maps.hs
 
 
README.md
README.md
 
 
Res_model.hs
Res_model.hs
 
 
TypeInference.hs
TypeInference.hs
 
 
playground.hs
playground.hs
 
 

Repository files navigation

All files provided as is.

Main source file is TypeInference.hs. Main command is ti_string to type-inference a program given as string, ti_file to type-inference a program given as filename

About

Implementation of the Resource Analysis Framework

Resources

Readme
Activity

Stars

0 stars

Watchers

1 watching

Forks

0 forks
Report repository

Releases

Packages

Contributors

Languages