introduce JavaType
compute a java type name from a JType
reorder dependencies cuase Enter needs gen.Util
derive JavaType and ArrayElement
introduce JavaArray
fix Issue#61
Array functionality in a new Prelude module
update to compile
make ArrayELement derivable
document, work on functions for mutable arrays
add usage message
adjust code generation for arrays
Merge branch 'arrays'
Adds Java native arrays to Frege. The corresponding type is JavaArray a.
update shadow prelude
fix bug in instTSym that prevented instance ... (a -> b)
fix issue#63
Proposed implementation
import arrays by default
shadow update
native functions to help with unicode points