Dminor is a functional language which combines the concepts of refinement type and type-test. It has a powerful type-checking algorithm which can reduce dynamic tests and detect errors statically. The type checker uses an SMT Solver to calculate subtyping quickly.
Create, view, edit and convert GPX, CSV, MGLN, OV2, XLS and KML POI files, add icons, MP3s and JPGs, and
Introductory video and text lesson to C# Programming Language
