This is an old revision of the document!
See Idris syntax
Idris syntax, Haskell, Haskell type system
Notes on programming languages